Saya memiliki dua kelas dasar dengan menggunakan klausa

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


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

Saya kemudian mendeklarasikan sebuah kelas

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

kompiler kemudian menandai rujukan kesalahan ke 'NetworkPacket' adalah ambigu 'sendNetworkPacket (NetworkPacket & ...'

Sekarang keduanya 'menggunakan klausa' untuk kelas jaringan yang sama: NetworkPacket

dan sebenarnya jika saya mengganti deklarasi metode dengan:

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

itu mengkompilasi dengan baik.

Mengapa kompiler memperlakukan masing-masing menggunakan klausa sebagai tipe yang berbeda walaupun keduanya menunjuk ke tipe dasar yang sama. Apakah ini diamanatkan oleh standar atau apakah kita memiliki bug penyusun?

Sebelum melihat alias jenis yang dihasilkan, (dan aksesibilitas)

kita melihat nama

dan memang,

NetworkPacket mungkin

• MultiCmdQueueCallback::NetworkPacket
• atau PlcMsgFactoryImplCallback::NetworkPacket

Fakta yang mereka berdua tunjukkan Networking::NetworkPackettidak relevan.

Kami melakukan resolusi nama depan, yang menghasilkan ambiguitas.

Anda cukup dapat menyelesaikan ambiguitas dengan memilih secara manual mana yang ingin Anda gunakan.

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

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

}

Kompilator hanya mencari definisi di kelas dasar. Jika jenis dan atau alias yang sama ada di kedua kelas dasar itu hanya mengeluh bahwa ia tidak tahu mana yang harus digunakan. Tidak masalah apakah tipe yang dihasilkan sama atau tidak.

Kompilator hanya mencari nama di langkah pertama, sepenuhnya independen jika nama ini adalah fungsi, tipe, alias, metode atau apa pun. Jika nama tidak jelas, tidak ada tindakan lebih lanjut yang dilakukan dari kompiler! Itu hanya mengeluh dengan pesan kesalahan dan berhenti. Jadi cukup selesaikan ambiguitas dengan pernyataan menggunakan yang diberikan.

Dari dokumen :

Deklarasi alias tipe memperkenalkan nama yang dapat digunakan sebagai sinonim untuk tipe yang dilambangkan dengan type-id. Itu tidak memperkenalkan tipe baru dan tidak bisa mengubah arti dari nama tipe yang ada.

Meskipun, kedua usingklausa tersebut mewakili tipe yang sama, kompiler memiliki dua pilihan dalam situasi berikut:

void sendNetworkPacket(const NetworkPacket &pdu);

Itu dapat memilih antara:

• MultiCmdQueueCallback::NetworkPacket dan
• PlcMsgFactoryImplCallback::NetworkPacket

karena mewarisi dari keduanya MultiCmdQueueCallbackPlcMsgFactoryImplCallback kelas dasar dan . Hasil dari resolusi nama kompiler adalah kesalahan ambiguitas yang Anda miliki. Untuk memperbaikinya, Anda perlu secara eksplisit menginstruksikan kompiler untuk menggunakan satu atau yang lain seperti ini:

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

atau

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

Ada dua kesalahan:

1. Mengakses alias tipe pribadi
2. Referensi mendua untuk mengetik alias

pribadi-pribadi

Saya tidak melihat masalah yang dikompilasi oleh kompiler tentang masalah kedua terlebih dahulu karena urutannya tidak terlalu penting - Anda harus memperbaiki kedua masalah untuk melanjutkan.

publik-publik

Jika Anda mengubah visibilitas keduanya MultiCmdQueueCallback::NetworkPacketdan PlcMsgFactoryImplCallback::NetworkPacketmenjadi publik atau dilindungi, maka masalah kedua (ambiguitas) jelas - keduanya adalah dua jenis alias yang berbeda meskipun keduanya memiliki tipe data dasar yang sama. Beberapa orang mungkin berpikir bahwa kompiler "pintar" dapat menyelesaikan ini (kasus khusus) untuk Anda, tetapi perlu diingat bahwa kompiler perlu "berpikir secara umum" dan membuat keputusan berdasarkan aturan global alih-alih membuat pengecualian spesifik kasus. Bayangkan kasus berikut:

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


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

Haruskah kompiler memperlakukan keduanya NetworkPacketIDsama? Tentu tidak. Karena pada sistem 32-bit, sementara size_t32-bituint64_t selalu 64-bit. Tetapi jika kita ingin kompiler memeriksa tipe data yang mendasarinya, maka kompiler itu tidak dapat membedakannya pada sistem 64-bit.

privasi Umum

Saya percaya contoh ini tidak masuk akal dalam kasus penggunaan OP, tetapi karena di sini kita sedang memecahkan masalah secara umum, mari kita pertimbangkan bahwa:

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

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

Saya pikir dalam hal ini compiler harus memperlakukan PlcNetwork::NetworkPacketseperti PlcMsgFactoryImplCallback::NetworkPacketkarena tidak memiliki choises lain. Mengapa ia masih menolak untuk melakukannya dan menyalahkan ambiguitas adalah sebuah misteri bagi saya.