Şablon Bağımsız Değişken Türü Kesinti Başarısız Olduğu C++ 11 <type_traits>

Question

C++ (11) <type_traits>'u nasıl kullanacağımı anlamaya çalışıyorum. Ben GCC şablon parametresi U anlamak neden hiçbir ipucu var

/home/per/f.cpp: In function ‘int main(int, const char**, const char**)’: 
/home/per/f.cpp:15:23: error: no matching function for call to ‘add(unsigned int&, int&)’ 
    auto a = add(ui, i); 
        ^
/home/per/f.cpp:15:23: note: candidate is: 
/home/per/f.cpp:5:10: note: template<class U, class S> U add(typename std::enable_if<std::is_unsigned<U>::value, U>::type, typename std::enable_if<std::is_signed<S>::value, S>::type) 
inline U add(typename std::enable_if<std::is_unsigned<U>::value,U>::type a, 
     ^
/home/per/f.cpp:5:10: note: template argument deduction/substitution failed: 
/home/per/f.cpp:15:23: note: couldn't deduce template parameter ‘U’ 
    auto a = add(ui, i); 
        ^

olarak GCC 4.8.1 o hataları ile derlenen

İşte benim önemsiz test programı

#include <type_traits> 

template<class U, class S> 
inline U add(typename std::enable_if<std::is_unsigned<U>::value,U>::type a, 
      typename std::enable_if<std::is_signed <S>::value,S>::type b) 
{ 
    return a + b; 
} 

int main(int argc, const char * argv[], const char * envp[]) 
{ 
    unsigned int ui; 
    int i; 
    auto a = add(ui, i); 
    return 0; 
} 

bu. Kodumun hangi bilginin eksik olduğunu bilen var mı? C++ 11'de ilk argüman olarak imzasız bir integral türü alan ve integral türünü ikinci olarak imzalayan bir program nasıl yazarım?

Answer 1

typename std::enable_if<std::is_unsigned<U>::value,U>::type, çıkarılabilir bir bağlam değildir. Bundan U'u çıkarmak için derleyicinin std::enable_if'un ters işlemini uygulama yeteneğine ihtiyacı olacaktır. Çok zor görünmüyor, bu doğru değil, çünkü enable_if gibi basit bir şeyden bahsediyorsunuz. Her özelliğin bunu gerektirmesi imkansız olurdu, bu yüzden C++ sadece güzel oynar ve herhangi bir garip kural istisnası yapmaz: Genel olarak indirilemez, bunun içinde çıkarılabilir değildir.

yerine bu şekilde yapabilirsiniz: bu stili desteklemeyen

template<class U, class S, 
     EnableIf<std::is_unsigned<U>, std::is_signed<S>>...> 
     // see http://flamingdangerzone.com/cxx11/2012/06/01/almost-static-if.html 
U add(U a, S b) 

Ya derleyiciler

düzgün sadece ekstra temerrüde argüman ekleyebilirsiniz:

template<class U, class S> 
U add(U a, S b, 
     typename std::enable_if<std::is_unsigned<U>::value 
      && std::is_signed<S>::value,void>::type* = nullptr) 

... ya dönüş tipi ile uğraşmak.

template<class U, class S> 
typename std::enable_if<std::is_unsigned<U>::value 
    && std::is_signed<S>::value,U>::type 
add(U a, S b) 

Answer 2

"Nestled typedef" ifadesinden bir şablon parametresi çıkartmak mümkün değildir. Yani,'u some_template<U>'dan çıkarmak mümkündür, ancak some_template<U>::type'dan değil.

Derleyici, some_template tüm (sonsuz!) Örneklerini numaralandıramıyor ve bunların hangisinin iç içe yazılanların gerçek argüman türüne eşit olduğunu göremiyor.

Answer 3

'den önce tip türlerini belirlemeniz gerekmektedir.

Olmalıdır: Sen derleyici U ve S anlamak için bir şans vermiyorsun

template <typename U, typename S> 
typename std::enable_if<std::is_unsigned<U>::value && 
         std::is_signed<S>::value>, U>::type 
add(U u, S s) 
{ 
    // ... 
} 

Answer 4

. Sen aşağıdaki gibi işlevini yeniden ve şablon parametre listesinde SFINAE kontrolleri taşıyabilirsiniz:

İşte

template<class U, class S, 
    typename std::enable_if<std::is_unsigned<U>::value && 
          std::is_signed <S>::value 
     >::type* = nullptr> 
inline U add(U a, S b) 
{ 
    return a + b; 
} 

bir live example olduğunu.

Answer 5

Dene:

template<class U, class S> 
typename std::enable_if<std::is_unsigned<U>::value && std::is_signed<S>,U>::type 
add(U a , S b) 
{ 
    return a + b; 
}