如何检查抽象基类是否具备特定构造函数？含模板派生类场景

问题原因 #

std::is_constructible<Base, int>返回false的核心原因是抽象类无法被实例化：这个标准 trait 不仅会检查构造函数是否存在，还会验证能否实际创建对象，所以即使目标构造函数存在，只要类是抽象的，它就会返回false。

解决方案：自定义Trait忽略抽象类限制 #

我们可以通过SFINAE实现一个仅检查构造函数是否存在的自定义 trait，绕过抽象类无法实例化的限制：

#include <type_traits>

// 自定义Trait：检查类型T是否有接受int的构造函数
template <typename T>
struct has_int_constructor {
private:
    // 若T(int)可行，则匹配此重载
    template <typename U>
    static auto test(int) -> decltype(U(std::declval<int>()), std::true_type{});
    
    // 匹配所有其他情况
    template <typename U>
    static auto test(...) -> std::false_type;

public:
    static constexpr bool value = decltype(test<T>(0))::value;
};

// 原抽象基类
struct Base {
    explicit Base(int);
    virtual void foo() = 0;
};

// 现在可以正确检查构造函数是否存在
static_assert(has_int_constructor<Base>::value, "Base必须包含接受int的构造函数");

针对模板Derived的场景应用 #

将自定义Trait嵌入模板类中，为使用者提供友好的错误提示：

template<typename T>
class Derived : public T {
public:
    Derived() : T{42} {
        static_assert(has_int_constructor<T>::value, 
                      "模板参数T必须包含接受int的构造函数");
    }
};

// 测试用例
struct ValidBase {
    explicit ValidBase(int) {}
    virtual void bar() = 0;
};

struct InvalidBase {
    InvalidBase() {}
    virtual void baz() = 0;
};

// 编译通过
// Derived<ValidBase> d1;

// 触发static_assert错误提示
// Derived<InvalidBase> d2;

C++17及以后的简化写法 #

如果使用C++17或更高版本，可以用requires表达式更简洁地实现检查，无需额外定义Trait：

template<typename T>
class Derived : public T {
    static_assert(requires { T{std::declval<int>()}; }, 
                  "T必须包含接受int的构造函数");
public:
    Derived() : T{42} {}
};

内容的提问来源于stack exchange，提问作者yannick818