Библиотека C/C++ разработчика | cpp, boost, qt: “🔧 std::enable_if_t для проверки иерархии классов Нужно убедиться, что…”

🔧 std::enable_if_t для проверки иерархии классов

Нужно убедиться, что класс является наследником другого? Проверяйте это на этапе компиляции с помощью type traits.

#include <type_traits>
#include <memory>

class Base {
public:
    virtual ~Base() = default;
};

class Derived : public Base {};
class Unrelated {};

// Фабрика, работающая только с наследниками Base
template<typename T>
std::enable_if_t<std::is_base_of_v<Base, T> && !std::is_same_v<Base, T>,
    std::unique_ptr<T>>
    createObject() {
    return std::make_unique<T>();
}

int main() {
    auto obj1 = createObject<Derived>();    // ✅ OK
    // auto obj2 = createObject<Unrelated>(); // ❌ Compile error
    // auto obj3 = createObject<Base>();      // ❌ Compile error
}

✅ Контроль иерархии классов на этапе компиляции
💰 Предотвращение неправильного использования API
⚡️Статическая проверка без runtime-затрат

📍Навигация: Вакансии • Задачи • Собесы

Библиотека C/C++ разработчика

#междусобойчик