模板类的密钥模式，朋友和模板模板参数的问题

Question

这是经典的“密码”模式，它允许函数只能在特定类的范围内访问：

#include <iostream>

template <typename T>
class passkey {
private:
  friend T;
  passkey() {}

  // noncopyable
  passkey(const passkey&) = delete;
  passkey& operator=(const passkey&) = delete;
};

struct A {
    A();
};

void g(int i, passkey<A>) {
    std::cout << i;
}

A::A(){g(42,{});} 

int main() {

    A a;

    return 0;
}

这里的函数g只能在A内调用。但是如果A 现在是一个模板类，是否可以扩展它？下面的 sn-p 不能编译（用clang，但它用gcc...），因为对于模板朋友来说，似乎必须使用一个详细说明符，这似乎导致声明冲突...

#include <iostream>

template <template<typename...> class T>
class passkey {
private:
  template<typename...> friend class T;
  passkey() {}

  // noncopyable
  passkey(const passkey&) = delete;
  passkey& operator=(const passkey&) = delete;
};

template<typename T>
struct A {
    A();
};

void g(int i, passkey<A>) {
    std::cout << i;
}

template<typename T>
A<T>::A(){g(42,{});} 

int main() {

    A<void> a;

    return 0;
}

这给出了铿锵声：

>source>:6:38: error: declaration of 'T' shadows template parameter
  template<typename...> friend class T;
                                     ^
<source>:3:39: note: template parameter is declared here
template <template<typename...> class T>

有什么诀窍可以让它发挥作用吗？

Answer 1

我很惊讶你的可变参数模板实际上是用 GCC 编译的。这就是我实际写它的方式：

template <template<typename... Ts> class T, typename... Ts>
class passkey {
  private:
    friend class T<Ts...>;

    constexpr passkey() {
      return;
    }
    passkey(passkey const&) = delete;
    passkey& operator=(passkey const&) = delete;
};

此外，我会让函数 g 获取 r 值引用并使用 std::move 显式调用它。

Try it here!