C++中如何仅允许精确类型（而非子类）作为函数参数？

你可以通过以下几种编译期检查的方式实现需求，让函数仅接受指定类本身，拒绝其子类：

方法一：模板+static_assert #

利用模板推导参数类型，在编译期通过std::is_same严格检查类型是否匹配：

#include <iostream>
#include <type_traits>

struct A {};
struct B : A {};

template <typename T>
void fn(T arg) {
    static_assert(std::is_same_v<T, A>, "函数fn仅接受A类型参数");
    std::cout << "fn called";
}

int main() {
    A a;
    fn(a);  // 正常编译执行
    B b;
    fn(b);  // 编译错误，触发static_assert的提示信息
}

原理：模板函数会推导传入参数的实际类型，static_assert在编译阶段验证类型是否严格等于A，不满足则直接抛出编译错误。

方法二：重载+delete+SFINAE #

通过重载函数，对所有A的子类（非A本身）禁用函数调用：

#include <iostream>
#include <type_traits>

struct A {};
struct B : A {};

// 仅接受A类型的重载
void fn(A arg) {
    std::cout << "fn called";
}

// 对所有A的子类（非A本身），删除该重载版本
template <typename T>
std::enable_if_t<std::is_base_of_v<A, T> && !std::is_same_v<T, A>> fn(T) = delete;

int main() {
    A a;
    fn(a);  // 正常调用
    B b;
    fn(b);  // 编译错误：尝试调用被删除的函数
}

原理：借助SFINAE（替换失败不是错误）规则，当传入的类型是A的子类但不是A本身时，会匹配到被delete的模板重载，编译器因此报错。

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