如何禁止C++函数的函数指针类型第二个参数传入NULL值？

我来给你几个靠谱的方案，都是基于标准C++特性，能让编译器直接在你给函数的第二个函数指针参数传NULL的时候抛出错误，不需要依赖额外工具：

方案1：重载+Deleted函数（最通用，C++11及以上） #

这是最直接且覆盖场景最全的方法——利用函数重载，专门为NULL可能匹配的类型（std::nullptr_t或int，因为NULL通常被定义为0）提供一个被标记为deleted的重载版本。当代码里传入NULL时，编译器会优先匹配这个删除的重载，直接报错。

示例代码：

#include <cstddef> // 用于std::nullptr_t（部分编译器可能不需要，但加上更稳妥）

// 你的原函数
void process_data(int id, void (*callback)(int result)) {
    // 原函数逻辑
}

// 禁止传入std::nullptr_t（对应nullptr）
void process_data(int, std::nullptr_t) = delete;

// 禁止传入int（对应NULL被定义为0的情况）
void process_data(int, int) = delete;

当你写出process_data(10, NULL);或者process_data(10, nullptr);时，编译器会提示类似“使用了已删除的函数”的错误，完美阻止这类调用。

方案2：模板+编译期断言（C++11及以上，适合编译期常量检查） #

如果你的场景中，传入的NULL大多是编译期常量，可以用模板函数配合static_assert来强制检查参数类型和值：

示例代码：

#include <type_traits>

template <typename Func>
void process_data(int id, Func callback) {
    // 强制要求参数是函数指针
    static_assert(std::is_function_v<std::remove_pointer_t<Func>>, 
                  "第二个参数必须是有效的函数指针！");
    
    // 编译期检查是否传入了nullptr
    if constexpr (std::is_same_v<Func, std::nullptr_t>) {
        static_assert(false, "禁止传入NULL/nullptr作为第二个参数！");
    }

    // 原函数逻辑
}

这个方案的局限性是：如果传入的是运行时才会变为nullptr的变量（比如void (*f)(int) = nullptr; process_data(10, f);），编译期断言无法检测到这种情况，这时候方案1会更合适。

方案3：C++20 Requires约束（更优雅的类型约束） #

如果你已经在使用C++20，可以用requires子句直接约束参数类型，排除std::nullptr_t：

示例代码：

#include <type_traits>

void process_data(int id, void (*callback)(int)) 
    requires (!std::is_same_v<decltype(callback), std::nullptr_t>);

// 函数定义
void process_data(int id, void (*callback)(int)) {
    // 原函数逻辑
}

不过要注意，这个方案只能阻止nullptr的传入，对于NULL被定义为0的情况，0会隐式转换为函数指针，这时候还是需要结合方案1的int重载删除来覆盖。

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