如何在C++中定义强制泛型继承指定基类的模板函数？

对应Rust中泛型函数对trait的约束，C++里有几种方式可以实现强制模板参数继承指定基类的需求，以下是常用方案：

1. 隐式接口约束（自然检查） #

如果模板函数中直接使用了基类的成员（比如虚函数），编译器会自动检查模板参数是否满足该接口——如果参数类型继承了目标基类，自然能通过检查；反之则编译报错。

#include <iostream>

// 定义基类
class Printable {
public:
    virtual void print() const = 0;
    virtual ~Printable() = default;
};

// 模板函数，依赖基类的print方法
template <typename T>
void printer(const T& obj) {
    obj.print();
}

// 派生类示例
class Text : public Printable {
public:
    void print() const override {
        std::cout << "This is a text object" << std::endl;
    }
};

int main() {
    Text t;
    printer(t); // 合法，Text继承了Printable
    
    // int num = 10; printer(num); // 编译错误：int没有print方法
    return 0;
}

2. 显式编译期断言（C++11+） #

用std::is_base_of结合static_assert，可以直接在代码中声明约束，并自定义错误提示，让编译报错更直观。

#include <iostream>
#include <type_traits>

class Printable {
public:
    virtual void print() const = 0;
    virtual ~Printable() = default;
};

template <typename T>
void printer(const T& obj) {
    // 强制检查T是否是Printable的派生类（包括Printable本身）
    static_assert(std::is_base_of_v<Printable, T>, "模板参数必须继承自Printable类");
    obj.print();
}

class Image : public Printable {
public:
    void print() const override {
        std::cout << "This is an image object" << std::endl;
    }
};

int main() {
    Image img;
    printer(img); // 合法
    
    // float f = 3.14; printer(f); // 编译错误，触发static_assert的自定义提示
    return 0;
}

3. C++20 概念（Concepts） #

C++20引入的概念是最接近Rust trait约束的语法，它可以清晰定义可复用的模板约束，语法更简洁，错误提示也更友好。

#include <iostream>
#include <concepts>

class Printable {
public:
    virtual void print() const = 0;
    virtual ~Printable() = default;
};

// 定义一个概念，要求类型继承自Printable
template <typename T>
concept IsPrintable = std::is_base_of_v<Printable, T>;

// 使用概念约束模板参数
template <IsPrintable T>
void printer(const T& obj) {
    obj.print();
}

// 或者直接在模板参数列表中写约束
// template <typename T> requires IsPrintable<T>
// void printer(const T& obj) { ... }

class Audio : public Printable {
public:
    void print() const override {
        std::cout << "This is an audio object" << std::endl;
    }
};

int main() {
    Audio audio;
    printer(audio); // 合法
    
    // bool b = true; printer(b); // 编译错误，不符合IsPrintable概念
    return 0;
}

三种方案对比 #

• 隐式接口：最简洁，但错误提示可能不够明确；
• static_assert：可以自定义错误信息，编译期检查更直接；
• C++20概念：语法最清晰，约束可复用，错误提示友好，是推荐的现代化方案。

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