c++ - 模板 friend 和嵌套类

Question

请考虑以下代码:

template <typename T>
struct foo
{
    template <typename S>
    struct bar
    {
        template <typename> friend struct bar;
    };
};

我想要 foo<T>::bar 的所有实例化成为foo<T>::bar<S>的 friend 对于任何 S .如果bar不是嵌套模板，上面的语法工作得很好。但是当我这样做时

int main() 
{  
    foo<int> x;
}

MSVC8 (Visual C++ 2005) 不喜欢它:

1>.\main.cpp(11) : error C3855: 'foo<T>::bar': template parameter 'S' is incompatible with the declaration
1>        .\main.cpp(12) : see reference to class template instantiation 'foo<T>::bar<S>' being compiled
1>        .\main.cpp(14) : see reference to class template instantiation 'foo<T>' being compiled

如果我使用，编译器会给我同样的错误

template <typename> friend struct foo<T>::bar;

相反。我怎样才能实现我想要的？

编辑:我仔细检查过(这里是早上，我还没有真正醒来)，这似乎是一个 VC8 bug :

Answer 1

C++ 标准的 14.5.3 部分描述了对类或类模板的友元的所有限制。您的代码有效。检查您是否安装了 Visual Studio 的所有最新服务包。 Here您可以在 Visual Studio 中找到相关的错误。