为什么不能从 Template::Type 推导出 T？

Question

这段代码有什么问题？

#include <map>

template<typename T>
struct TMap
{
    typedef std::map<T, T> Type;
};

template<typename T>
T test(typename TMap<T>::Type &tmap_) { return 0.0; }

int _tmain(int argc, _TCHAR* argv[])
{
    TMap<double>::Type tmap;
    tmap[1.1] = 5.2;
    double d = test(tmap); //Error: could not deduce template argument for T
    return 0;
}

Answer 1

这是不可演绎的上下文。这就是编译器无法推导模板参数的原因。

试想一下，如果您可能有如下专门的​​ TMap：

template <>
struct TMap<SomeType>
{
    typedef std::map <double, double> Type;
};

鉴于 TMap::Type，编译器将如何推导类型 SomeType是 std::map 吗？它不能。 不保证您在 std::map 中使用的类型也是类型< /em> 在 TMap 中。编译器不能做出这种危险的假设。无论如何，type 参数之间可能没有任何关系。

另外，您可能将 TMap 的另一个特化定义为：

template <>
struct TMap<OtherType>
{
    typedef std::map <double, double> Type;
};

这会使情况变得更糟。现在您拥有以下内容：

• TMap::Type = std::map。
• TMap::Type = std::map。

现在问问自己：给定 TMap::Type 是 std::map，编译器如何知道 T 是 SomeType 还是 OtherType？它甚至不知道它有多少这样的选择，它也不知道选择本身......

我只是为了思想实验而问你（假设它可以知道整套选择）。

Answer 2

正是编译器错误消息所说的内容：
TMap::Type, T 不能根据
标准。这样做的动机可能不是
技术上可以实现：编译器必须
实例化所有可能的 TMap 以查看是否有一个（并且
只有一个）与您传递的类型匹配。并且有一个
无限数量的 TMap。

Answer 3

即使您有：

TMap<SomeType>::Type = std::map<double, double>. 

但在调用 test(tmap) 之前，

TMap<double>::Type tmap;
tmap[1.1] = 5.2;
double d = test(tmap); 

您已经声明了

TMap<double>::Type tmap;

无法使用此信息的原因。 #typedef 不仅仅是简单的字符串替换。

Answer 4

我认为“我们不能这样做”的论点是不正确的。
如果我们稍微修改这个例子，编译器就会很高兴地为我们推导出参数。

template<typename T>
struct TMap //...

template <class T>
struct tmap_t : TMap<T>::Type {};

template<typename T>
T test(tmap_t<T> tmap) // ...

tmap_t<double> tmap;  // ...
double d = test(tmap);  // compiles just fine.

我没有看到原始示例和我的示例之间有很大差异。这里真正的问题似乎是 C++ 以不同的方式对待 typedef 和类型声明，

这是一件好事吗？