bir değerle istisna yakalamak - gcc ve clang

Question

bu kısa parçasını inceleyin katılmıyorum:

main.cpp:17:13: error: no matching constructor for initialization of 'B' 
    catch(B) { 
      ^

Kim haklı: clang onunla kötü şekillendirilmiş dikkate alır

struct B { 
    B() = default; 
    explicit B(B const&) { } 
}; 

struct D : B { }; 

int main() { 
    try { 
     throw D{}; 
    } 
    catch(B) { 
    } 
} 

gcc bu kodu kabul?

Answer 1

Ben düşünün bu bir gcc hatasıdır (ve hiç kimse bu cevabı henüz reddetmediğinden, 70375 olarak gönderdim).

Her iki derleyiciler doğru D{} sadece BD bir taban sınıfı olduğunu denetler [except.handle]/3, gereği, yakalanmış gerektiğini kabul ediyoruz.

Ancak işleyici başlatma olarak [except.handle]/15 tanımlanır:

T veya evT&, özel nesneden başlatıldı tip ev istisna-beyanı ile beyan değişkeni, E türünde, aşağıdaki gibi:
- T, E taban sınıfı ise, değişken, istisna nesnesinin karşılık gelen taban sınıfı alt nesneden kopya başlangıç ​​durumuna (8.5); B yıllardan itibaren izin alınmalıdır

D __temporary_object{}; 
B __handler = static_cast<B&>(__temporary_object); 

yapıcı explicit işaretlenmiş kopyalama (copy-başlatma sadece kesmek yok): olarak bu başlatma ima

çalışır.