Question

在下面的T函数中创建实例时，我想支持类create(...)的构造函数的两个可能签名之一：

template <class Т, typename... Args>
T* create(Special* s, Args&&... args) {
  T* t = 
    // If such a constructor exists, this:
    new T(s, std::forward<Args>(args)...);
    // Otherwise, this:
    new T(std::forward<Args>(args)...);
}

我尝试了一些没有削减它的怪异模板结构。 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;
}

如何在工厂函数中解析构造函数签名

2 个答案: