在B类中声明为朋友的A类成员模板函数无法访问A类的私有成员(仅限Clang)

Question

请查看此代码段.我知道它没有多大意义,它只是为了说明我遇到的问题:

#include <iostream>
using namespace std;

struct tBar
{
    template <typename T>
    void PrintDataAndAddress(const T& thing)
    {
        cout << thing.mData;
        PrintAddress<T>(thing);
    }

private:
    // friend struct tFoo; // fixes the compilation error

    template <typename T>
    void PrintAddress(const T& thing)
    {
        cout << " - " << &thing << endl;
    }
};

struct tFoo
{
    friend void tBar::PrintDataAndAddress<tFoo>(const tFoo&);
    private:

    int mData = 42;
};

struct tWidget
{
    int mData = 666;
};

int main() 
{
    tBar bar;
    bar.PrintDataAndAddress(tWidget()); // Fine

    bar.PrintDataAndAddress(tFoo()); // Compilation error

    return 0;
}

上面的代码触发以下错误:

source_file.cpp:10:3​​:错误:'PrintAddress'是'tBar'PrintAddress(thing)的私有成员 ; source_file.cpp:42:6:注意:在实例化函数模板>特殊化'tBar :: PrintDataAndAddress'这里请求bar.PrintDataAndAddress(tFoo()); //编译错误source_file.cpp:17:7:注意:声明私有这里void PrintAddress(const T&thing)

但仅限于Clang ++.GCC和MSVC很好用(您可以通过在http://rextester.com/l/cpp_online_compiler_clang中粘贴该代码来快速测试)

好像是在tBar::PrintDataAndAddress<tFoo>(const tFoo&)使用相同的访问权限tFoo,在那里它是友好的.我知道这一点,因为tFoo在tBar修复这个问题方面有帮助.如果tBar::PrintDataAndAddress是非模板函数,问题也会消失.

我无法在标准中找到解释此行为的任何内容.我相信这可能是对14.6.5 - temp.inject的错误解释,但我无法声称我已经阅读了所有内容.

有没有人知道Clang是否正确无法编译上述代码？如果是这样的话,你能引用相关的C++标准文本吗？

似乎要发生这个问题,被访问的私有成员需要是模板功能.例如,在上面的例子中,如果我们使PrintAddress成为非模板函数,代码将编译没有错误.

Answer 1

tBar::PrintDataAndAddress<tFoo>在使用它之前强制编译器实例化可以解决问题.

int main() 
{
    tBar bar;
    bar.PrintDataAndAddress(tWidget()); // Fine

    auto x = &tBar::PrintDataAndAddress<tFoo>; // <= make it work....

    bar.PrintDataAndAddress(tFoo()); // Now fine

   return 0;
}

它似乎是一个编译器promlem,因为它看起来非常相似:

在C++中,为什么不能使用另一个类的模板类型来管理模板类成员函数？

为了更精确一点...在bar.PrintDataAndAddress(tFoo());编译器必须实现成员函数的行中tBar::PrintDataAndAddress<tFoo>,同时它必须解析朋友声明.这是两个单独的步骤.显然,当编写一个表达式时,编译器不会按照严格顺序执行此操作.要强制编译器bar.PrintDataAndAddress(tFoo())首先通过访问函数指针进行实例化,这两个步骤的顺序正确.

Answer 2

尝试在好友功能之前添加此功能

template <typename tFoo>