隐式模板参数

Question

以下代码在 Xcode 中生成编译错误：

template <typename T>
struct Foo
{
    Foo(T Value)
    {
    }
};

int main()
{
    Foo MyFoo(123);
    return 0;
}

错误：“MyFoo”之前缺少模板参数

将 Foo MyFoo(123); 更改为 Foo; MyFoo(123); 解决了这个问题，但是编译器不应该能够找出适当的数据类型吗？

这是编译器错误，还是我误解了隐式模板参数？

Answer 1

理论上，构造函数可以推断出它正在构造的对象的类型，但是语句：

Foo MyFoo(123);

正在为 MyFoo 分配临时空间，并且必须知道 MyFoo 的完全限定类型以便了解需要多少空间。

如果您想避免键入（即用手指）特别复杂的模板名称，请考虑使用 typedef：

typedef std::map<int, std::string> StringMap;

或者在 C++0x 中，您可以使用 auto 关键字让编译器使用类型推断——尽管许多人会认为这会导致代码可读性较差且更容易出错，我自己也是其中之一。 ;p

Answer 2

编译器只能计算出模板函数的模板参数类型，而不能计算出类/结构的模板参数类型

Answer 3

编译器可以推导模板参数这样的情况：

template<typename T>
void fun(T param)
{
    //code...
}

fun(100);    //T is deduced as int;
fun(100.0);  //T is deduced as double
fun(100.0f); //T is deduced as float

Foo<int> foo(100);
fun(foo);    //T is deduced as Foo<int>;

Foo<char> bar('A');
fun(bar);    //T is deduced as Foo<char>;

实际上模板参数推导是一个很大的话题。阅读 ACCU 上的这篇文章：

C++ 模板参数推导

Answer 4

在 C++11 中，您可以使用 decltype：

int myint = 123;
Foo<decltype(myint)> MyFoo(myint);

Answer 5

这不是一个错误，而是不存在的功能。您必须在实例化期间完全指定类/结构模板参数，始终不会像函数模板那样推断类型。

Answer 6

您现在尝试执行的操作可以在 C++ 17 中运行。可以在 C++ 17 中推断模板参数。

template <typename T>
struct Foo
{
    Foo(T Value)
    {
    }
};

int main()
{
    Foo a(123);
    Foo b = 123;
    Foo c {123};
    return 0;
}

Answer 7

这样很有意义，因为 Foo 不是一个类，只是 Foo 其中 T 是一个类型。

在 C++0x 中，您可以使用 auto，并且您可以创建一个函数来使您成为 Foo，我们将其称为 foo（小写 f）。那么你会做

template<typename T> Foo<T> foo(int x)
{
  return Foo<T>(x);
}

auto myFoo = foo(55);