c++ - 自动检测模板函数的返回类型

Question

我有一些带有函数的类。在所有类中，函数具有相同的名称和参数类型，但返回类型不同。我需要一些模板函数，它可以自动检测没有尖括号的正确模板替换。

测试代码来说明问题:

struct Float
{
    static Float convert(int i)
    {
        return Float{static_cast<float>(i)};
    }

    float _f;
};

struct Int
{
    static Int convert(int i)
    {
        return Int{i};
    }

    int _i;
};

template<typename T>
T convert(int i)
{
    return T::convert(i);
}


int main()
{
    Float f1 = convert<Float>(10);
    Int i1 = convert<Int>(10);

    // Float f2 = convert(10); compilation error
    // Int i2 = convert(10); compilation error

    return 0;
}

附言模板让我疯狂我想要但无法理解它们。

Answer 1

不确定它是否完全符合您的需求，但您可以使用类和模板化转换运算符模拟您想要的:

class convert {
    int arg;
public:
    convert(int arg) : arg(arg) {}

    template<class T>
    operator T() const {
      return T::convert(arg);
    }
};

由于模板参数推导适用于模板转换运算符，您可以这样写:

Float f1 = convert(10);
Int i1 = convert(10);

如你所愿。