模板參數中未命名的類/類型名

Question

我正在瀏覽SFINAE的文檔，並且有以下模板聲明：

template<typename SomeType>
struct inner_type { typedef typename SomeType::type type; };
template <
    class T,
    class = typename T::type,            // SFINAE failure if T has no member type
    class U = typename inner_type<T>::type // hard error if T has no member type
                                          // (guaranteed to not occur as of C++14)
> void foo(int) {}

具體來說，我在問class = typename T::type 。 聲明一個未命名的類有什么意義？

由於評論，我認為當T沒有成員type時，這將導致編譯器錯誤，但事實並非如此，例如foo<int, int, int>(0); 編譯良好。

另一方面

template<class T, typename = std::enable_if_t<std::is_unsigned<T>::value>>
void foo(T t) {}

的確，如果沒有編譯T簽署，並編譯如果T是無符號。

我在這里想念什么？

Answer 1

foo<int, int, int>(0); 編譯良好。

因為您指定了第二個模板參數，所以將不使用默認模板參數（即typename T::type ），也不會觸發編譯錯誤。

如果只寫foo<int>(0); 要使默認模板參數被使用，編譯將失敗。

生活

第二個樣本也是如此。

聲明一個未命名的類有什么意義？

因為template參數不會用於模板實現。