어떻게 아래 <code>create(...)</code> 기능에 해당 인스턴스를 생성 할 때 클래스 <code>T</code>의 생성자의 두 가지 서명 중 하나는 지원하려는

Question

공장 기능에 생성자 서명을 해결하기 위해 그것을 자르지 않은 구조물. solution for resolving a member function에는 SFINAE가 포함되어 있습니다 (멤버 함수의 decltype은 실패합니다).하지만 고유 한 서명 유형이 없으므로 생성자에서는이 기능이 가능하지 않습니다.

C++ 11에서도 가능하며 라이브러리를 지원합니까?

Answer 1

그냥 std::is_constructible 사용

은

namespace detail 
{ 
template<typename T, typename... Ts> 
auto create(std::true_type, Special* s, Ts&&... args) { 
    return new T(s, std::forward<Ts>(args)...); 
} 

template<typename T, typename... Ts> 
auto create(std::false_type, Special*, Ts&&... args) { 
    return new T(std::forward<Ts>(args)...); 
} 

} 

template<class T, typename... Args> 
T* create(Special* s, Args&&... args) { 
    using tag = is_constructible<T, Special*, Args...>; 
    return detail::create<T>(tag{}, s, std::forward<Args>(args)...); 
} 

live demo

Answer 2

template <class Т, typename... Args> 
T* create_impl(std::true_type, Special* s, Args&&... args) { 
    return new T(s, std::forward<Args>(args)...); 
} 
template <class Т, typename... Args> 
T* create_impl(std::false_type, Special*, Args&&... args) { 
    return new T(std::forward<Args>(args)...); 
} 

template <class Т, typename... Args> 
T* create(Special* s, Args&&... args) { 
    T* t = create_impl<T>(std::is_constructible<T, Special*&, Args&&...>{}, 
         s, std::forward<Args>(args)...); 
    // ... 
    return t; 
}