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

Question

请看一下这段代码 sn-p。我知道这没有多大意义，只是为了说明我遇到的问题：

#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' 的私有成员 打印地址（事物）; source_file.cpp:42:6: 注意：在函数模板的实例化中 >specialization 'tBar::PrintDataAndAddress' 在此处请求 bar.PrintDataAndAddress(tFoo()); // 编译错误 source_file.cpp:17:7: 注意：这里声明为私有 void PrintAddress(const T& 事物)

但仅在 Clang++ 中。 GCC 和 MSVC 都可以使用（您可以通过将代码粘贴到 http://rextester.com/l/cpp_online_compiler_clang 中来快速测试）

似乎tBar::PrintDataAndAddress<tFoo>(const tFoo&) 使用与tFoo 相同的访问权限，在此成为朋友。我知道这一点是因为在tBar 中与tFoo 成为朋友可以解决这个问题。如果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;
}

这似乎是一个编译器问题，因为它看起来与此非常相似：

In C++, why isn't it possible to friend a template class member function using the template type of another class?

更准确一点...在bar.PrintDataAndAddress(tFoo()); 行中，编译器必须实例化成员函数tBar::PrintDataAndAddress<tFoo>，同时它必须解析友元声明。那是内部两个单独的步骤。显然，当用一个表达式编写时，编译器并没有按照严格的顺序执行此操作。要强制编译器首先通过访问函数指针来实例化bar.PrintDataAndAddress(tFoo())，这两个步骤的顺序正确。

Answer 2

尝试在朋友功能之前添加它

template <typename tFoo>