c++ - 使可选的模板参数成为 friend ？

Question

有一个post说明可以使用以下语法将模板参数声明为友元:

template <typename T>
class A {
   friend T;
};

但是如果在某些情况下 A 需要油炸而在其他情况下不需要呢？是否可以使 T 成为可选参数？

有比使用某种 FakeClass 作为 T 更好的解决方案吗？

EDIT1:我找到了另一个解决方案:

    class B {};

    template <typename T>
    class A {
       friend T;
    };

    template <>
    class A<void> {
    };

int main()
{
    A<B> a1;
    A<void> a2;
    return 0;
}

但是如果A是一个有300行代码的复杂类呢？是否有没有模板特化的替代解决方案？

Answer 1

我认为与假人交 friend 是你能做的最干净的事情，因为你不能继承或有条件地声明 friend 。您甚至不需要创建新的虚拟类型，因为:

[class.friend§3]

If the type specifier in a friend declaration designates a (possibly cv-qualified) class type, that class is declared as a friend; otherwise, the friend declaration is ignored.

这意味着您可以假装与 int 甚至 void 成为 friend ，他们会相处得很好。

_{此建议仅在 C++ 标准的范围内有效，不能作为现实生活指南。张贴者拒绝就建议的应用承担任何和所有责任。}