使用模板模板参数进行类模板特化

Question

我试图在类型s. t上专门化一个类。它忽略了给定类型的恒定性。在这种情况下，该类型是一个模板模板参数：

template <class T, typename Enable = void>
struct bar 
{
    bar()
    {
        static_assert(!std::is_same<T,T>::value, "no implementation of bar for type T");
    }
};

template <template <typename> class FooType, class T>
struct bar<FooType<T>, typename std::enable_if<std::is_same<typename std::remove_cv<FooType<T>>::type, foo<T>>::value>::type>
{};

上面的代码在GCC 4.8.4和clang 5.0（with-std=c 11）中都抱怨bar在与匹配FOFType模板参数化的类一起使用时未定义。即使我删除了sfinae参数，仍然无法找到特化。

这个问题的一个例子可以在这里找到:https://godbolt.org/g/Cjci9C.在上面的例子中，特殊化的构造函数有一个静态断言，当与const FooType一起使用时，即使sfinae参数被硬编码为void，也不会找到。当与非常数字体一起使用时，所有的都按预期工作。

有人能解释为什么constness禁止类型推断（匹配）吗在这种情况下。

编辑（更新代码）：

下面是一个完全可编译的代码段。我试图捕获此代码段中的最小示例。原始链接已更新以反映此示例。

#include <assert.h>
#include <type_traits>

template <class T>
struct foo {};

template <class T, typename Enable = void>
struct bar 
{
    bar()
    {
        static_assert(!std::is_same<T,T>::value, "no implementation of bar for type T");
    }
};

template <template <typename> class FooType, class T>
struct bar<FooType<T>, typename std::enable_if<std::is_same<typename std::remove_cv<FooType<T>>::type, foo<T>>::value>::type>
{};

int main()
{
  bar<foo<int>> mut_foo; // This is fine.
 // bar<const foo<int>> const_foo; // Error. No implementation found.
}

删除main第2行上的注释将触发静态断言。我还尝试了std：：decade和std：：remove_const，但没有成功。

编辑（非重复对正）：

虽然链接的问题确实提出了类似的问题，但它不需要使用模板模板参数。它也只提供了解决问题的技术，并没有证明为什么给定的代码片段不能工作。有趣的是，这种技术似乎不适用于模板参数，因为将下面的代码片段代入上面的示例会导致相同的错误:

template <template <typename> class FooType, class T>
struct bar<FooType<T>,
           typename std::enable_if<std::is_same<FooType<T>, foo<T>>::value || std::is_same<FooType<T>, const foo<T>>::value>::type>
{};

Answer 1

< code>const foo

专业化匹配后，您可以添加SFINAE：

因此，就您而言，您可以这样做

template <typename T> struct is_foo : std::false_type {};
template <typename T> struct is_foo<foo<T>> : std::true_type {};


template <class T>
struct bar<T,
           typename std::enable_if<is_foo<typename std::remove_cv<T>::type>::value>::type>
{};