C++组合可变参数模板Concept遇constexpr报错，求解决办法

首先，你遇到的错误根源在于非静态constexpr成员变量的初始化规则，以及原代码中不必要的requires约束和递归结构的写法问题。以下是两种正确的实现方式：

方式一：C++17+ 折叠表达式（推荐） #

利用C++17引入的折叠表达式，直接实现多类型的概念检查，代码简洁高效：

#include <type_traits>

// 定义模板变量，检查所有类型都满足F<T>::value为true
template<template<class> class F, class... Ts>
constexpr bool all_satisfied = (F<Ts>::value && ...);

// 你的类用法示例
template<class... Ts>
requires all_satisfied<std::is_arithmetic, Ts...>
class A {
    // 类实现细节
};

方式二：递归模板结构体（兼容C++11/14） #

如果需要兼容更早的C++标准，修正递归结构体的写法，将value改为静态constexpr成员，并移除多余的requires约束：

#include <type_traits>

template<template<class> class F, class T, class... Ts>
struct check_concept {
    // 递归计算逻辑与：当前类型满足，且剩余所有类型都满足
    static constexpr bool value = F<T>::value && check_concept<F, Ts...>::value;
};

// 递归终止特化：单个类型的情况
template<template<class> class F, class T>
struct check_concept<F, T> {
    static constexpr bool value = F<T>::value;
};

// 你的类用法示例
template<class... Ts>
requires check_concept<std::is_arithmetic, Ts...>::value
class A {
    // 类实现细节
};

原代码错误分析 #

1. 非静态constexpr成员问题：原代码中的constexpr bool value是非静态成员，C++对非静态constexpr成员的初始化要求极为严格，必须是编译期可直接求值的字面量表达式，递归引用其他模板实例的成员不符合该规则，改为静态constexpr即可解决。
2. 不必要的requires约束：原模板结构体上的requires F<T>::value会导致当某个类型不满足条件时，该特化被SFINAE排除，最终找不到匹配的模板实例，引发编译错误。直接在value中计算逻辑与即可完成检查。

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