模板的 C++ 类成员访问问题

Question

我有一个问题，如果我有一个模板类，而该模板类又具有一个模板方法，该模板方法接受该类的另一个实例的参数（具有不同的模板参数），它无法访问受保护的或私有的成员类作为参数传递，例如：

template<typename T>class MyClass
{
    T v;
public:
    MyClass(T v):v(v){}

    template<typename T2>void foo(MyClass<T2> obj)
    {
        std::cout << v     << " ";
        //error C2248: 'MyClass<T>::v' : cannot access private member declared in class 'MyClass<T>'
        std::cout << obj.v << " ";
        std::cout << v + obj.v << std::endl;
    }
};
int main()
{
    MyClass<int> x(5);
    MyClass<double> y(12.3);
    x.foo(y);
}

有没有办法说 MyClass 中的方法可以完全访问 MyClass？

Answer 1

它们是不同的类型：模板从模板构造新类型。

你必须对你的班级朋友进行其他实例化：

template <typename T>class MyClass
{
    T v;
public:
    MyClass(T v):v(v){}

    template<typename T2>void foo(MyClass<T2> obj)
    {
        std::cout << v     << " ";
        std::cout << obj.v << " ";
        std::cout << v + obj.v << std::endl;
    }

    // Any other type of MyClass is a friend.
    template <typename U>
    friend class MyClass;

    // You can also specialize the above:
    friend class MyClass<int>; // only if this is a MyClass<int> will the
                               // other class let us access its privates
                               // (that is, when you try to access v in another
                               // object, only if you are a MyClass<int> will
                               // this friend apply)
};

Answer 2

添加MyClass为好友类：

template<typename T> class MyClass
{
    template<typename TX>
    friend class MyClass;
 ...

根据 C++ 标准 14.5.3/3：

友元模板可以在类或类模板中声明。朋友函数模板可以在类或类模板中定义，但朋友类模板不能在类或类模板中定义。在这些情况下，朋友类或朋友函数模板的所有特化都是授予友谊的类或类模板的朋友。 [示例：

class A {
  template<class T> friend class B;  // OK
  template<class T> friend void f(T){ /* ... */ }  // OK
};

——结束示例]

注意：您应该知道，由于Core Issue #602 仍处于打开状态，上述代码仍可能导致某些编译器出错。尽管如此，上面的代码仍然可以在 GCC、Visual C++ 和 Comeau 上编译。

要仅将函数foo 设为朋友，您可以编写以下代码：

template<typename T> class MyClass
{
    template<typename TY> template<typename TX> 
    friend void MyClass<TY>::foo(MyClass<TX>);
 ...