C++03中的模板函数返回类型推导

Question

我想在 C++03 中实现以下内容：

template <typename T1, typename T2>
T1 convert(bool condition, T2& value)
{
    return condition ? value : conversionFunction(value);
}

除了我想调用convert 而不必明确指定T1。我怎么做？

Answer 1

也许您可以使用 hack。技巧是将转换推迟到您实际使用返回值为止。返回值是一个帮助对象，它允许将自己转换为其他对象。

template <typename T>
struct ConvertHack {
    T &value_;
    const bool cond_;
    ConvertHack (bool cond, T &value) : value_(value), cond_(cond) {}
    template <typename U> operator U () const {
        return cond_ ? value_ : conversionFunction(value_);
    }
};

template <typename T>
ConvertHack<T> convert(bool condition, T& value) {
    return ConvertHack<T>(condition, value);
}

Answer 2

编译器不推导出返回类型（这与返回类型不支持重载一致）。您必须明确指定此模板参数，例如通过调用

convert<Obj>(x);

第二个模板参数不必指定，即使第一个模板参数已经明确指定，也可以推导出来（所以总是把需要明确指定的模板参数放在可以推导的参数之前！）。

但是，这只有在conversionFunction 和T2& 的返回类型都可以转换为T1 时才有效；由于编译器无法知道condition 在运行时有什么值，它必须确保?: 的两个“分支”都是可编译的。在这种情况下，使用typename boost::common_type<T1, ReturnTypeOfConversionFunction>::type 作为返回值。如果你不能轻易确定ReturnTypeOfConversionFunction，你可以使用Boost.TypeOf。

如果条件可以在编译时评估并且仅依赖于T2，则可以使用模板元编程代替：

template <bool condition, typename T2>
struct Converter;

template<typename T2>
struct Converter<true, T2> { // If the condition is true, use this.
    typedef T2 type;
    static type doConvert(T2& value) { return value; }
};

template<typename T2>
struct Converter<false, T2> { // If the condition is false, use this.
    typedef ReturnTypeOfConversionFunction type;
    static type doConvert(T2& value) { return conversionFunction(value); }
};

template <typename T2>
typename Converter</* condition */, ReturnTypeOfConversionFunction>::type
convert(T2& value)
{
    return Converter<condition, T2, ReturnTypeOfConversionFunction>::doConvert(value); 
}

代替/* condition*/，type traits from Boost 可能会有所帮助。

用于Converter 的语法称为部分template specialization。 在指定convert 的返回值时，为什么需要typename，请参阅here。