如何将模板类TgetNth声明为Tuple模板类的友元？

错误原因 #

你之前的友元声明仅针对N=0且第二个参数为Select<0, Tail...>的特定TgetNth实例，但实际使用时TgetNth的模板参数是完整的Tuple类型（比如Tuple<Head, Tail...>），且当N>0时，对应的TgetNth实例并未被声明为友元，导致编译器拒绝其访问Tuple的私有成员。

正确解决方案 #

要让所有N值对应的TgetNth模板实例都能访问Tuple的私有成员，需要在Tuple类内部声明整个TgetNth模板为友元，步骤如下：

1. 前置声明TgetNth模板：在Tuple类定义前先声明TgetNth，避免编译器识别错误。
2. 在Tuple类中声明友元模板：使用模板友元语法，允许所有TgetNth实例访问私有成员。
3. 空Tuple特化也需添加友元声明：因为继承链的末端是空Tuple，若TgetNth需要访问基类成员，空Tuple也需要开放友元权限。

完整代码示例 #

// 前置声明TgetNth模板
template<int N, typename Tuple>
struct TgetNth;

// 非空Tuple类定义
template<typename Head, typename... Tail>
class Tuple : private Tuple<Tail...> {
private:
    Head m_head;
    using Base = Tuple<Tail...>;

    // 私有成员方法
    const Head& GetHead() const { return m_head; }
    const Base& base() const { return *this; }

    // 声明所有TgetNth模板实例为友元
    template<int N, typename Tuple>
    friend struct TgetNth;

public:
    // 构造函数
    Tuple(Head head, Tail... tail) : Tuple<Tail...>(tail...), m_head(head) {}
};

// 空Tuple特化
template<>
class Tuple<> {
    // 空Tuple也需要对TgetNth开放友元
    template<int N, typename Tuple>
    friend struct TgetNth;
};

// TgetNth的特化实现
template<int N, typename Head, typename... Tail>
struct TgetNth<N, Tuple<Head, Tail...>> {
    static auto get(const Tuple<Head, Tail...>& t) {
        // 递归访问基类的成员
        return TgetNth<N-1, Tuple<Tail...>>::get(t.base());
    }
};

// N=0时的特化
template<typename Head, typename... Tail>
struct TgetNth<0, Tuple<Head, Tail...>> {
    static const Head& get(const Tuple<Head, Tail...>& t) {
        // 直接访问当前Tuple的头成员
        return t.GetHead();
    }
};

关键说明 #

• 模板友元的声明template<int N, typename Tuple> friend struct TgetNth;会让所有N和任意Tuple类型的TgetNth实例都成为当前Tuple类的友元，覆盖了递归访问时的所有场景。
• 无需针对特定N值单独声明友元，因为模板友元会自动匹配所有可能的实例化版本，解决了N参数变化带来的友元覆盖问题。

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