为何代码报错‘非类型模板参数不能具有该类型’？

这个错误的核心原因是你把Functor类型的对象作为非类型模板参数使用，但C++标准对非类型模板参数的类型有严格限制，而std::function（你代码里大概率用到的Functor实例）并不满足这些限制。

非类型模板参数的类型限制 #

C++在不同标准版本里对非类型模板参数的允许类型有明确规定：

• 在C11到C17中，非类型模板参数只能是以下类型之一：
  • 整型或枚举类型
  • 指针类型（包括指向函数、对象的指针）
  • 左值引用类型
  • std::nullptr_t
• 到了C++20，标准扩展允许**字面类型（literal type）**作为非类型模板参数，但std::function依然不在此列——它的内部包含动态分配的状态，没有constexpr构造函数，不属于字面类型，因此还是不能作为非类型模板参数的类型。

你的代码里定义了template<typename Functor, Functor F, ...>，这里的F是一个Functor类型的非类型模板参数。如果Functor是std::function（比如std::function<T(T,T)>），编译器就会报错，因为std::function不符合非类型模板参数的类型要求。

解决方案 #

根据你的需求，有两种常见的修正方式：

1. 改用函数指针作为非类型模板参数

如果你的 functor 是普通函数或者可以转换为函数指针的可调用对象，直接用函数指针代替Functor作为非类型模板参数的类型：

#include <functional>
#include <type_traits>

namespace impl {
// 用函数指针代替Functor作为非类型模板参数类型
template<typename T, T(*F)(T, T), T OneValue, T SecondValue, T... Values>
struct variadic_conjunction : variadic_conjunction<T, F, F(OneValue, SecondValue), Values...> {};

template<typename T, T(*F)(T, T), T OneValue, T SecondValue>
struct variadic_conjunction<T, F, OneValue, SecondValue> : std::integral_constant<T, F(OneValue, SecondValue)> {};
}

// 示例使用：
template<typename T, T(*F)(T,T), T... Values>
constexpr auto variadic_conjunction = impl::variadic_conjunction<T, F, Values...>::value;

constexpr int add(int a, int b) { return a + b; }

int main() {
    constexpr int result = variadic_conjunction<int, add, 1,2,3,4>;
    // result = 10
    return 0;
}

2. 将Functor作为类型参数，传递constexpr实例（C++20+）

如果需要支持lambda或其他自定义 functor，C++20允许将字面类型的 functor 作为类型参数的constexpr实例传递：

#include <functional>
#include <type_traits>

namespace impl {
template<typename Functor, typename T, T OneValue, T SecondValue, T... Values>
struct variadic_conjunction : variadic_conjunction<Functor, T, Functor{}(OneValue, SecondValue), Values...> {};

template<typename Functor, typename T, T OneValue, T SecondValue>
struct variadic_conjunction<Functor, T, OneValue, SecondValue> : std::integral_constant<T, Functor{}(OneValue, SecondValue)> {};
}

// 示例使用：
template<typename Functor, typename T, T... Values>
constexpr auto variadic_conjunction = impl::variadic_conjunction<Functor, T, Values...>::value;

// 定义一个constexpr functor
constexpr struct Add {
    constexpr int operator()(int a, int b) const { return a + b; }
} add;

int main() {
    constexpr int result = variadic_conjunction<decltype(add), int, 1,2,3,4>;
    // result = 10
    return 0;
}

这种方式要求你的 functor 是字面类型，并且有constexpr的调用运算符。

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