C#-like 泛型，C++ 中的模板类型约束

Question

我有一段C#代码如下:

class Foo<T> where T : TClass
{
    // body
}

是否有任何标准方法可以在 C++ 中实现泛型类型约束

Answer 1

C++ 有 std::is_base_of ，可与 SFINAE(C++17 及更早版本)或要求 (C++20) 一起使用。 C++20 还添加了概念 std::derived_from .

C++17:

#include <type_traits>
#include <cstddef>

template<class T, std::enable_if_t<std::is_base_of_v<TClass, T>, std::nullptr_t> = nullptr>
class Foo
{
    // Body
};

C++20:

#include <type_traits>

template<class T> requires std::is_base_of_v<TClass, T>
class Foo
{
    // Body
};

C++14 和 C++11 支持非常相似的行为，但语法不够简洁，例如替换 std::is_base_of_v<TClass, T>与 std::is_base_of<TClass, T>::value .