TDM-GCC

Question

Derleyici için TypeId içinde declval kullanılamıyor: TDM-GCC-5.1.0 (SJLJ gevşemek)

Ben declval ile de oynuyordum ve ben bağlamda nerede kullanmak mümkün olduğunu fark Çalışmalı: typeid()'a bir argüman olarak.

Aşağıdaki kodda, birincil kullanım durumlarından biri için declval kullanıyorum: bir yöntemden geçmeden bir yöntemin dönüş türünü elde etmek için. Ben olsun hata declval ait static_assert mesajı olmakla typeid() bu durumda argüman var değerlendirmek değil çünkü bu imkansız olmalıdır: (-std=c++14 ile derlenmiş olduğunda) Bu benim için derleme değil

#include <typeinfo> 
#include <utility> 

struct Foo 
{ 
    int func(); 
}; 

int main() 
{ 
    typeid(std::declval<Foo>().func()); 
} 

. Tek tahminim ya bir derleyici hatası buldum ya da açık bir şekilde yanlış bir şey yaptım ve göremiyorum. Eğer ikincisiyse, özür dilerim.

DÜZENLEME: Teşekkür bana yardım ettiğin için ildjarn için, çözüm decltype kullanmaktır, böylece kodunun son satırı haline gelir:

typeid(decltype(std::declval<Foo>().func())); 

ve bu güzel çalışıyor. Ancak şimdi sorum şu: Nasıl oldu? typeid() ve decltype() öğelerinin ikisi de değerlendirilmemiş bağlamlardır, dolayısıyla farkın ne olduğundan emin değilim.

Answer 1

Bu bir derleyici hatasıdır.

Buradaki çözüm, ifade etrafında decltype() kullanmaktır. Hem decltype() hem de typeid() (bu polimorfik olmayan glival bir ifade durumunda), bir fark yaratmamalı olan, bu bir hata yapan, değerlendirilmemiş bağlamlardır. decltype()'u kullanarak, "derecelendirilmemiş bir içerik arabelleği" gibi davranır ve bir şekilde typeid() bunu daha iyi beğenir. Bu konuda TDM ile temasa geçme vakti gelmiştir. Bu hata TDM'nin sorunu değil, bir vanilya böceği (teşekkürler ildjarn).