C++ iç içe şablon hatası

Question

Bazı operatörlerin belirli türler için tanımlanmış olup olmadığını kontrol eden birkaç şablonum var ve ben de ifade döndürme türünü kontrol ediyorum. Bu şablonu belirli türlerle başlattığımda, her şey tamam, ancak bazı türlerde MSVC'de derleyici hatası alıyorum. GCC'de "şablon argümanı geçersiz" hatası alıyorum. Bu kod ile yanlış bir şey

template <typename _Type, typename _ReturnType> 
static auto test(_Type&& var, _ReturnType&&) 
-> decltype(std::enable_if_t<std::is_same<_ReturnType, decltype((var) OPERATOR)>>(), std::true_type()); 

var mı: Ben artırma sonrası kontrolünü örneğini zaman İşte sorun neden hattıdır?

Not: OPERATOR kontrol etmek istediğim operatöre makro genişletilmiş. Tüm şablon, kod tekrarından kaçınmak için kullandığım daha büyük makronun bir parçasıdır.

Answer 1

Sorun şu ki, std::enable_if_t'un bool olmasını bekliyor, ancak bir tane std::is_same'dan tedarik etmiyorsunuz. std::is_same sonucunu elde etmek için value değişkenine (kontrolün sonucu olan) erişmeniz gerekir.

template <typename _Type, typename _ReturnType> 
static auto test(_Type&& var, _ReturnType&&) 
-> decltype(std::enable_if_t<std::is_same<_ReturnType, decltype((var) OPERATOR)>::value>(), std::true_type());