如何让不同模板参数的同模板类互为友元以访问私有成员？

正确的友元声明方案 #

要让不同模板参数的同模板类互为友元，关键是先前置声明模板类，再在类内部添加正确的友元声明，以此避免MSVC的C3772错误。具体代码示例如下：

// 前置声明模板类，让编译器识别my_class是模板类型
template <typename T>
class my_class;

template <typename T>
class my_class {
private:
    T* data;
    int dim_count; // 维度数量
    // 其他私有成员，比如各维度尺寸等

public:
    // 从my_class<U>转换到my_class<T>的构造函数
    template <typename U>
    my_class(const my_class<U>& src) {
        // 直接访问src的私有成员
        dim_count = src.dim_count;
        data = new T[dim_count];
        // 逐元素完成类型转换
        for (int i = 0; i < dim_count; ++i) {
            data[i] = static_cast<T>(src.data[i]);
        }
    }

    // 声明所有my_class<U>为友元，允许跨模板参数访问私有成员
    template <typename U>
    friend class my_class;

    // 析构函数等必要成员
    ~my_class() { delete[] data; }
};

为何之前的友元声明触发C3772？ #

MSVC的C3772错误通常源于缺少模板类的前置声明，导致编译器无法解析友元声明中的my_class<U>是模板类型。提前完成前置声明后，编译器就能正确识别友元模板的语法。

替代方案（非友元方式） #

如果友元方案仍存在问题，可以通过提供受限的公共访问接口间接获取私有成员，示例如下：

template <typename T>
class my_class {
private:
    T* data;
    int dim_count;

public:
    // 转换构造函数
    template <typename U>
    my_class(const my_class<U>& src) {
        dim_count = src.get_dim_count();
        const U* src_data = src.get_data();
        data = new T[dim_count];
        for (int i = 0; i < dim_count; ++i) {
            data[i] = static_cast<T>(src_data[i]);
        }
    }

    // 仅返回只读指针和维度信息，避免外部修改私有数据
    const T* get_data() const { return data; }
    int get_dim_count() const { return dim_count; }

    ~my_class() { delete[] data; }
};

这种方式无需友元，但会牺牲部分封装性，仅推荐在友元方案无法使用时采用。

内容的提问来源于stack exchange，提问作者dolmok