枚举类变参模板包展开问题：模板特化编译失败排查

我希望实现一个既能接收枚举类实例列表，也能接收包含这些实例的结构体的函数，但auto myFunc2<EList<Types...>>的定义编译失败，报错expected a constant not E::A。

报错代码示例 #

#include <cstdint>
#include <iostream>

enum class E {A = 0, B=1};
template<E... Types> struct tl2 {};
using my_list_2 = tl2<E::A>;

template <E ... Types>
auto myFunc2 = [] {
    std::cout << "Size: " << sizeof...(Types) << std::endl;     
};

template <template<E...> typename EList, E... Types>
auto myFunc2<EList<Types...>> = [] {
    std::cout << "Size: " << sizeof...(Types) << std::endl;     
};

int main() {
    myFunc2<E::A, E::B>();  // 注释掉结构体特化版本时可以正常运行
    //myFunc2<my_list_2>(); // 启用特化后调用这里会编译报错      
} 

正常工作的通用类型版本 #

#include <cstdint>
#include <iostream>

template < typename ... Types > struct tl
{
};
using my_list = tl <int, float, uint64_t>;

template <typename ... Types>
static constexpr auto myFunc2 = [] {
    std::cout << "Size: " << sizeof...(Types) << std::endl;   
};

template <template<class...> class TL, typename ... Types>
static constexpr auto myFunc2<TL<Types...>> = [] {
    std::cout << "Size: " << sizeof...(Types) << std::endl;   
};

int main() {
    myFunc2<int,uint64_t,bool,uint16_t>();
    myFunc2<my_list>();                    
} 

原因分析 #

核心问题不是枚举类的使用限制，而是模板变量特化的参数类型不匹配：

• 第一个myFunc2是针对**非类型模板参数包E... Types**的主模板——它接收的是枚举值本身，不是类型。
• 你试图特化的版本，是想匹配EList<Types...>这种具体类型（比如tl2<E::A>），但主模板的参数是枚举值而非类型，编译器无法把类型参数匹配到非类型参数的模板上，因此报错。
• 对比通用类型版本，主模板和特化版本都是针对类型参数，参数类别一致，所以特化合法。

解决方案 #

要同时支持两种调用方式，建议用模板函数重载（模板函数的重载规则比模板变量更灵活）：

#include <cstdint>
#include <iostream>

enum class E {A = 0, B=1};
template<E... Types> struct tl2 {};
using my_list_2 = tl2<E::A>;

// 处理枚举值列表的重载
template <E ... Types>
void myFunc2() {
    std::cout << "Size: " << sizeof...(Types) << std::endl;     
}

// 处理包含枚举值的结构体的重载
template <template<E...> typename EList, E... Types>
void myFunc2(EList<Types...>) {
    std::cout << "Size: " << sizeof...(Types) << std::endl;     
}

int main() {
    myFunc2<E::A, E::B>(); 
    myFunc2(my_list_2{});  // 直接传入结构体实例即可      
} 

如果坚持用模板变量，需要把主模板改成接受类型参数，再分别特化枚举值包装类型和结构体类型：

#include <cstdint>
#include <iostream>

enum class E {A = 0, B=1};
template<E... Types> struct tl2 {};
using my_list_2 = tl2<E::A>;

// 包装枚举值列表为类型
template<E... Types>
struct EnumList {};

// 主模板占位
template<typename T>
auto myFunc2 = []{};

// 特化：匹配枚举值包装类型
template<E... Types>
auto myFunc2<EnumList<Types...>> = []{
    std::cout << "Size: " << sizeof...(Types) << std::endl;     
};

// 特化：匹配tl2结构体
template<E... Types>
auto myFunc2<tl2<Types...>> = []{
    std::cout << "Size: " << sizeof...(Types) << std::endl;     
};

int main() {
    myFunc2<EnumList<E::A, E::B>>(); 
    myFunc2<my_list_2>();      
} 

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