为什么两个 using 子句解析为相同的类型在 gcc 中被视为模棱两可

Question

我有两个带有 using 子句的基类

 class MultiCmdQueueCallback {
  using NetworkPacket  = Networking::NetworkPacket;
  ....
 }


 class PlcMsgFactoryImplCallback {
   using NetworkPacket = Networking::NetworkPacket;
  ....
 }

然后我声明一个类

class PlcNetwork : 
  public RouterCallback, 
  public PlcMsgFactoryImplCallback, 
  public MultiCmdQueueCallback {
  private:
    void sendNetworkPacket(const NetworkPacket &pdu);
}

然后编译器标记一个错误引用 'NetworkPacket' is ambiguous 'sendNetworkPacket(NetworkPacket &... '

现在两个“使用子句”都解析为同一个底层类 Networking:NetworkPacket

事实上，如果我将方法声明替换为：

 void sendNetworkPacket(const Networking::NetworkPacket &pdu);

它编译得很好。

为什么编译器将每个 using 子句视为不同的类型，即使它们都指向相同的底层类型。这是标准规定的还是我们有编译器错误？

Answer 1

有两个错误：

1. 访问私有类型别名
2. 对类型别名的模糊引用

私人-私人

我没有看到编译器首先抱怨第二个问题的问题 因为顺序并不重要 - 您必须解决这两个问题才能继续。

公开-公开

如果您同时更改 MultiCmdQueueCallback::NetworkPacket 和 PlcMsgFactoryImplCallback::NetworkPacket 对于公共或受保护，那么第二个问题（歧义）很明显 - 尽管它们具有相同的基础数据类型，但它们是两个不同的类型别名。有些人可能认为“聪明”的编译器可以为您解决这个问题（特定情况），但请记住，编译器需要“总体思考”并根据全局规则做出决策，而不是做出特定情况的例外。想象以下情况：

class MultiCmdQueueCallback {
    using NetworkPacketID  = size_t;
    // ...
};


class PlcMsgFactoryImplCallback {
    using NetworkPacketID = uint64_t;
    // ...
};

编译器是否应该将NetworkPacketID 视为相同？一定不。因为在 32 位系统上，size_t 的长度为 32 位，而 uint64_t 始终为 64 位。但是如果我们想让编译器检查底层数据类型，那么它就无法区分 64 位系统上的数据类型。

公私

我相信这个例子在 OP 的用例中没有任何意义，但是因为这里 我们正在解决一般问题，让我们考虑一下：

class MultiCmdQueueCallback {
private:
    using NetworkPacket  = Networking::NetworkPacket;
    // ...
};

class PlcMsgFactoryImplCallback {
public:
    using NetworkPacket  = Networking::NetworkPacket;
    // ...
};

我认为在这种情况下，编译器应该将PlcNetwork::NetworkPacket 视为PlcMsgFactoryImplCallback::NetworkPacket，因为它没有其他选择。为什么它仍然拒绝这样做并指责模棱两可对我来说是一个谜。

Answer 2

在查看别名结果类型（和可访问性）之前

我们查看名称

确实，

NetworkPacket 可能是

• MultiCmdQueueCallback::NetworkPacket
• 或PlcMsgFactoryImplCallback::NetworkPacket

他们都指向Networking::NetworkPacket这一事实无关紧要。

我们进行名字解析，这会导致歧义。

Answer 3

来自docs：

类型别名声明引入了一个可以用作 type-id 表示的类型的同义词。它没有引入新的 type 并且它不能改变现有类型名称的含义。

虽然这两个using子句代表的是同一个类型，但是编译器在以下情况下有两种选择：

void sendNetworkPacket(const NetworkPacket &pdu);

可以选择：

• MultiCmdQueueCallback::NetworkPacket 和
• PlcMsgFactoryImplCallback::NetworkPacket

因为它继承自 MultiCmdQueueCallback 和 PlcMsgFactoryImplCallback 基类。编译器名称解析的结果是您遇到的歧义错误。为了解决这个问题，您需要明确指示编译器使用这样的一种或另一种：

void sendNetworkPacket(const MultiCmdQueueCallback::NetworkPacket &pdu);

或

void sendNetworkPacket(const PlcMsgFactoryImplCallback::NetworkPacket &pdu);

Answer 4

您只需手动选择要使用的选项即可解决歧义。

class PlcNetwork : 
  public RouterCallback, 
  public PlcMsgFactoryImplCallback, 
  public MultiCmdQueueCallback {

using NetworkPacket= PlcMsgFactoryImplCallback::NetworkPacket; // <<< add this line
private:
    void sendNetworkPacket(const NetworkPacket &pdu);

}

编译器只查找基类中的定义。如果两个基类中存在相同的类型和/或别名，它只会抱怨它不知道要使用哪一个。结果类型是否相同并不重要。

编译器仅在第一步中查找名称，如果此名称是函数、类型、别名、方法或其他名称，则完全独立。如果名称不明确，则编译器不会执行进一步的操作！它只是抱怨错误消息并停止。因此，只需使用给定的 using 语句解决歧义。