如何確定

Question

在GCC，我可以使用下面的代碼在C++中ARG類型：

#define is_t(smth, type) ({int is_t_result; if (__builtin_types_compatible_p(__typeof__(smth), type)) {is_t_result = 1;}; is_t_result;}) 

但是當我在googletest運行它（C++），它提升

error: expected primary-expression before ‘__typeof__’ 

是有替代品在cpp中實現is_t？

Answer 1

這是一個非常複雜的問題，因爲有很多不同的方法來「檢測類型」，具體取決於你要完成的是什麼。基本上有兩種不同類型的「類型檢查」：編譯時和運行時。就編譯時檢查而言，在C++模板中使用「duck-typing」是非常普遍的（如果滿足隱式需求，它就可以工作）。然而，在某些情況下，這是不夠的，並且<type_traits>和static_assert提供了更明確地強制執行要求的方式，而decltype允許引用表達式將返回的類型。運行時的類型轉換在C++中較少見（通常通過「動態調度」，也就是虛擬函數來完成）。但是，就顯式檢查對象的運行時類型而言，存在dynamic_cast<T>機制。

長篇短小，儘管如此，您的is_t()宏可能最好被內置的C++類型檢測機制所取代。如果您使用的是早期版本的C++，則Boost提供了廣泛兼容的等價物，它可以在許多C++編譯器以及C++ 98和C++ 11中使用。這樣做會使得它變得更加清晰。 （例如它是否被聲明爲該類型，它是否具有該運行時類型，是否聲明爲可分配給其他類型的類型）。