Veraset ve is_detected_v garip bir sonuç (C++ 17) kod basitleştirilmiş versiyonu olan

Question

sağlar. Ancak yorum satırından rahatsızlık duyarsanız, o zaman başarısız olur. GCC 7.1 ve Clang 4.0.0 ile test edildi. Derleme parametreleri: -std = C++ 1z -O3 -Wall. Bu kodda Demo

Answer 1

:

static constexpr bool i = get_data<Topt>(); 
static constexpr auto j = get_data<Topt>(); 

Topt (yani, opt olan) henüz tamamlanmadı. Yani is_detected_v<has_data_t, opt>, false olmalıdır. Ama zaman biz opttam olduğunu main olsun. Ve böylece is_detected_v<has_data_t, opt>'un true olmasını bekliyoruz. farklı bağlamlarda örneği oluşturulan farklı sonuçlar verdiğine bir şablon olması

programınızı gerekmez teşhis, kötü oluşturulduğunu ifade eder. [Temp.point] bakınız: herhangi bir şablon için

bir uzmanlık birden çok çeviri birimlerinde örnekleme noktaları olabilir. Eğer iki farklı örnekleme noktası bir tanım özelliğine göre bir şablon uzmanlığı farklı anlamlar verirse, program kötü biçimlendirilmiş, teşhis gerektirmez.

j eklenmesi gerçekten önemli değil - sadece derleyici şeyler örneğini seçti yolu sırasını değiştirdi anahtarı çevirmek oldu. Program, j'un varlığından bağımsız olarak kötü biçimlendirilmiştir.