为什么这个依赖类型不被视为使用模板参数的专业化？

我试图将专业化分组在一起以避免多次编写它们。例如，在下面的代码中，我尝试将“float”和“double”专门化作为 foo::func(); 的实现的一种情况。然后我使用“bool”的另一个实现。

template<typename T> struct foo;

template<typename T> struct bar;
template<> struct bar<float> { typedef float Type; };
template<> struct bar<double> { typedef double Type; };

/* specialize for float and double here */
template<typename T> struct foo<typename bar<T>::Type> {
    static void func() { ... }
};

template<> struct foo<bool> {
    static void func() { ... }
};

这个错误在 GCC 4.4.3 中出现。 （这是一个目标编译器，因为它是 Ubuntu Server 10.04 LTS 的库存，据称还有三年的生命。） 错误是：

foo.cpp:8: error: template parameters not used in partial specialization:
foo.cpp:8: error:         ‘T’

该错误指的是 foo 的第一个专门化（用于“float”和“double”。）

我不明白我在这里违反了 C++ 的哪一部分——如果有人知道这一章和诗句，我将不胜感激。 另外，如果有人知道实现相同目标的另一种方法（对某些类型组重新使用专业化，而无需不必要的冗长代码），我也将不胜感激任何建议！

template<typename T> struct foo<typename bar<T>::Type> {
    static void func() { ... }
};

你正在使用T在不可推论的上下文中，因此编译器无法推论T即使它知道的价值bar<T>::Type.

假设你写，

foo<double> foodouble;

那么你可能会想，bar这是专门从事double实例化时会被选择foo？仅当编译器可以确保不存在另一种专门化时，这似乎才合理bar它定义了double作为嵌套类型，像这样：

template<> struct bar<int> { typedef double Type; };

Now bar<double>::Type and bar<int>::Type两者都给予double。所以底线是：可能存在无限数量的专业化bar，所有这些都可以提供double作为嵌套类型，使得编译器无法uniquely推导模板参数bar类模板。

您可以使用SFINAE http://en.wikipedia.org/wiki/Substitution_failure_is_not_an_error as:

#include <iostream>

template<typename T> struct bar { typedef void type; };
template<> struct bar<float> { typedef bar<float> type; };
template<> struct bar<double> { typedef bar<double> type; };

template<typename T> 
struct foo : bar<T>::type
{
    static void func() 
    { 
        std::cout << "primary template for float and double" << std::endl; 
    }
};

template<> 
struct foo<bool> 
{
    static void func() 
    { 
       std::cout << "specialization for for bool" << std::endl; 
    }
};

int main()
{
     foo<float>::func();
     foo<double>::func();
     foo<bool>::func();
}

Output (在线演示 http://ideone.com/XVkE3):

primary template for float and double
primary template for float and double
specialization for for bool

注意struct foo : bar<T>::type不再是一个专业了。它是一个主要模板。另请注意，这可能不是您想要的，因为它会禁用除类型参数之外的类模板的所有实例化float, double and bool;例如，你不能使用foo<int>。但我还注意到您未定义主模板，因此我希望该解决方案符合您的要求。