为什么自动类型推导只能对函数而不是类？
【问题讨论】：
std::vector a(1, true);还是std::vector<auto> v = std::vector<bool>(1, true);？第一个将是“真实”的演绎，而第二个将需要一个已知的论点。注意 bool-vector 显式特化的复杂性。
标签： c++ class function templates types
在Kona meeting构造函数的模板参数推导（P0091R0）已经被批准，这意味着在C++17中我们将能够我们可以这样写：
pair p1{"foo"s, 12};
auto p2 = pair{"foo"s, 12};
f(pair{"foo"s, 12});
【讨论】：
在特定情况下，您总是可以像std::make_pair：
template<class T>
make_foo(T val) {
return foo<T>(val);
}
编辑：我刚刚在第 335 页的“C++ 编程语言，第三版”中找到了以下内容。Bjarne 说：
请注意，类模板参数是 从未推断。原因是 由几个提供的灵活性 类的构造函数会使 在许多情况下，这样的扣除是不可能的 案例和模糊的更多。
这当然是非常主观的。 comp.std.c++ 对此进行了一些讨论，并且一致认为没有理由不能支持它。这是否是一个好主意是另一个问题......
【讨论】：
在函数调用的情况下，编译器从参数类型推导出模板类型。例如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从不出现在任何函数调用中，所以编译器根本没有提示，应该使用什么类型。
【讨论】：
我认为隐式类型转换仅适用于函数参数，因此编译器可以推断它以使函数调用成功。
但是它怎么能推断出你想要它类的类型。
当我们有 基于人工智能的编译器 来阅读我们的想法时，我们必须等待 4 天。
【讨论】：