std :: is_constructible在列表中

Question

我想從列表中找到我可以用模板參數構造的類型。在這個例子中：

using my_type = typename get_constructible<char *, int, std::string>::type; 

my_type必須std::string因爲在列表std::string是可以與一個char *來構造所述第一。

我嘗試這樣做：

#include <string> 
#include <utility> 

template<typename T, typename... Rest> 
struct get_constructible 
{ 
    using type = void; 
}; 

template<typename T, typename First, typename... Rest> 
struct get_constructible<T, First, Rest...> 
{ 
    using type = typename std::conditional< 
    std::is_constructible<First, T>::value, 
    First, 
    get_constructible<T, Rest...>::type 
    >::type; 
}; 

int main(void) 
{ 
    using my_type = get_constructible<char *, int, std::string>::type; 
    my_type s("Hi!"); 
} 

我不明白的地方我的邏輯失敗。

Answer 1

你的邏輯看起來不錯，但你錯過的從屬名稱get_constructible<T, Rest...>::type一個typename：

using type = typename std::conditional< 
    std::is_constructible<First, T>::value, 
    First, 
    typename get_constructible<T, Rest...>::type 
//^^^^^^^^ 
>::type;