C++ 中类与函数的模板类型推导？

Question

为什么自动类型推导仅适用于函数而不适用于类？

Answer 1

在特定情况下，你总是可以像std::make_pair那样做：

template<class T>
make_foo(T val) {
    return foo<T>(val);
}

编辑：我刚刚在“C++ 编程语言，第三版”，第 335 页中找到了以下内容。Bjarne 说：

请注意，永远不会推导出类模板参数。 原因是多个构造函数为一个类提供的灵活性会使这种推论在许多情况下变得不可能，在更多情况下变得模糊不清。

这当然是非常主观的。 在comp.std.c++对此进行了一些讨论，共识似乎是没有理由不支持它。 这是否是一个好主意是另一个问题......

Answer 2

在Kona 会议上，构造函数的模板参数推导（ P0091R0 ）已被批准，这意味着在 C++17 我们将能够我们可以写：

pair p1{"foo"s, 12};
auto p2 = pair{"foo"s, 12};
f(pair{"foo"s, 12});

Answer 3

在函数调用的情况下，编译器从参数类型推导出模板类型。 例如std::max函数。 编译器使用参数的类型来推断模板参数。 这并不总是有效，因为并非所有调用都是明确的。

int a = 5;
float b = 10;

double result1 = std::min( a, b ); // error: template parameter ambigous
double result2 = std::min< double >( a, b ); // explicit parameter enforces use of conversion

在模板类的情况下，这可能并不总是可能的。 以这个类为例：

template< class T>
class Foo {
public:
    Foo();
    void Bar( int a );
private:
    T m_Member;
};

类型 T 从未出现在任何函数调用中，因此编译器根本没有提示应该使用什么类型。

Answer 4

我认为隐式类型转换仅适用于函数参数，因此编译器可以推断它使函数调用成功。

但是它怎么能推断出你想要它的类型。

我们必须等待 4 这样一天，当我们有基于 AI 的编译器来阅读我们的想法时。