类模板的成员模板的成员模板的显式模板函数特化有效吗？

Question

是否有人知道此显式特化是否有效：

template <class>
struct L {
  template <typename T>
  struct O {
    template <typename U>
    static void Fun(U);
  };
};

template<>
template<typename T>
template<typename U>
void L<int>::O<T>::Fun(U) {}

clang 主干 （12/3/2013） 给出以下错误：
f：...\test.cpp：36：20： 错误： 从类 'O' 中出线定义 “Fun” 没有定义

void L<int>::O<T>::Fun(U) {}
     ~~~~~~~~~~~~~~^

1生成错误。

任何来自标准的支持参考来证明你的答案将不胜感激！

注意:我有点惊讶这是一个错误——我认为应该为任何以< code >开始实例化“Fun”的模板参数族选择专门化

这是一个叮当的错误还是我期望中的错误？

谢谢！

====== 编辑 （我想我有答案） ========

好的-我想我找到了支持措辞-来自N3797（芝加哥2013年后工作草案）-14.7.3/16=

在出现在命名空间范围内的类模板或成员模板的成员的显式专用化声明中，成员模板和它的一些封闭类模板可以保持非专用化，除非如果它的封闭类模板也没有显式专用化，则声明不应显式专用化类成员模板

如果我没理解错的话，我们需要O的显式专门化，如果我们要声明它的成员的显式专门化？因此出现了错误。

正确吗？

谢谢！

Answer 1

我不相信它是有效的。我在语言方面还不够深入，无法告诉您如何/是否可以在不提供顶级专门化的情况下做到这一点，或者是否有跳过复制模板的捷径，但错误消息相当清楚:您试图提供依赖嵌套类型的静态成员的实现，而不提供实际依赖的专门化。也就是说，这是可行的:

#include <iostream>

template <typename>
struct L
{
    template <typename T>
    struct O
    {
        template <typename U>
        static void Fun(U)
        {
            std::cout << "General: " << __PRETTY_FUNCTION__ << std::endl;
        };
    };
};

// provide specialized L
template<>
struct L<int>
{
    template <typename T>
    struct O
    {
        template <typename U>
        static void Fun(U);
    };
};

// L<int> is a specialized type, so provide the rest.
template<typename T>
template<typename U>
void L<int>::O<T>::Fun(U)
{
    std::cout << "Special: " << __PRETTY_FUNCTION__ << std::endl;
}


int main()
{
    L<int>::O<double> nobj;
    nobj.Fun(10);

    L<double>::O<int> nobj2;
    nobj2.Fun(20);

    return 0;
}

输出

Special: static void L<int>::O<double>::Fun(U) [T = double, U = int]
General: static void L<double>::O<int>::Fun(U) [T = int, U = int]