在友谊方面，为什么别名模板与别名类型模板的处理方式不同？

Question

我们在代码库中观察到一个令人惊讶的行为，即未能应用友谊关系。 （目前仅使用 Clang 3.6 版编译）

我们可以将其简化为这个最小的示例。假设我们有以下模板类定义：

template <int>
class Element
{};


// Forward declaration of FriendBis
template <template <int> class> class FriendBis;

class Details
{
    friend class FriendBis<Element>;
    int mValue = 41;
};

template <template <int> class>
class FriendBis
{
public:
    void useDetails(const Details &aDetails)
    {
        aDetails.mValue;
    }
};

这里，Details 声明 FriendBis 的实例化，其单个模板模板参数替换为 Element 是它的 friend。因此，以下客户端代码编译成功：

FriendBis<Element> fb1;
fb1.useDetails(Details());

 问题

现在，让我们介绍额外的trait 模板类型，其全部目的是将proto 定义为Element 模板的模板别名：

struct trait
{
    template <int N>
    using proto = Element<N>;
};

下面的客户端代码无法编译：

FriendBis<trait::proto> fb2;
fb2.useDetails(Details());

---

这让我们感到惊讶，因为trait::proto 是Element 的别名，但一个可以编译而另一个不能编译。

• 这是预期的行为吗？
  • 如果是这样，这个限制的理由是什么？
  • 有解决方法吗？ （同时保持有限的友谊，而不是将FriendBis 的所有实例化为朋友）。

Answer 1

别名模板与其别名的类型不是同义词：trait::proto 和 Element 是不同的类型。当模板 ID 引用 trait::proto then 的特化时，它等价于替换类型。简单来说，trait::proto 不是Element，而是trait::proto<0> 是 Element<0>。

回答您的问题：

• 是的，这是预期行为

• 理由是别名类型可能比Element<N> 复杂得多，它可能类似于Element<ElementForInt<N+1>::value>。那么映射就不明显了。

• 我想不出一个解决方法。如果您想检查模板模板参数是否与其他模板相同和为别名模板帐户，您可以检查这两个名称的实例化是否相同类型，例如std::is_same<T<0>, Element<0>>，但我不确定你如何在朋友声明中实现这一点。