如何在与定义分开的 void 上实现部分专用模板？

Question

我在使用部分特化时分离内部 class 的实现时遇到了问题。这是说明我的问题的示例代码：

#include <type_traits>

template <typename T>
using enable_if_copyable = std::enable_if_t<std::is_copy_constructible<T>::value>;

template <typename T>
using enable_if_not_copyable = std::enable_if_t<!std::is_copy_constructible<T>::value>;

template <typename T, typename Enabled=void> 
struct Foo;

template <typename T>
struct Foo<T, enable_if_copyable<T>>
{
    struct Bar
    {
        Bar();
    };
};

template <typename T>
struct Foo<T, enable_if_not_copyable<T>> {
    struct Bar
    {
        Bar();
    };
};

template <>
struct Foo<void,void>
{
    struct Bar
    {
        Bar();
      //Bar() {} This compiles, but it is not what I want.
    };
};

template <typename T>
Foo<T, enable_if_copyable<T>>::Bar::Bar()
{}    

template <typename T>
Foo<T, enable_if_not_copyable<T>>::Bar::Bar()
{}

template <>
Foo<void, void>::Bar::Bar() // this does not compile
{}


int main() {
    Foo<int>::Bar b;
    Foo<void>::Bar v;
}

由于依赖关系，我必须在声明之外实现 Bar 的 c'tors。我的问题是所有编译器（Clang、gcc、Visual Studio 2015）都抱怨在 class Foo<void, void> 声明之外执行 Foo<void, void>::Bar::Bar() {}。如果我在 void 的专业化中实现 Bar 的 c'tor，我没有任何问题。这是不可行的还是有人可以帮助我发现我的问题？非常感谢！

Answer 1

尝试删除 template<>；我的意思是：

// template <>
Foo<void, void>::Bar::Bar() // now compile
{}

有关详细信息，请参阅 this page。

如何在与定义分开的 void 上实现部分专用模板？

How to implement partial specialized template on void separate from definition?

c++

templates

sfinae

template-specialization

c++11