C++如何避免未使用的模板全特化参与编译？

我有一段将模板类型映射到枚举值的代码，但something<double>的全特化中用到的MyEnum::C仅在调用该特化时才需要定义。能不能修改模板声明/定义让代码通过编译？

我试过给something模板的声明加默认模板参数，把全特化改成仅在使用时才编译的偏特化，但没找到正确语法。

原代码如下：

#include <iostream>

using namespace std;

enum class MyEnum
{
    A,
    B
};

template<typename T>
struct something;

template<>
struct something<int>
{
    static constexpr auto value = MyEnum::A;
};

template<>
struct something<double>
{
    static constexpr auto value = MyEnum::C;
};

int main()
{
    cout << static_cast<int>(something<int>::value) << endl;

    return 0;
}

我原本以为下面这段代码可行，但没成功：

template<typename T>
constexpr MyEnum toEnum()
{
    if constexpr (std::is_same_v<int, T>)
        return MyEnum::A;
    else if constexpr (std::is_same_v<double, T>)
        return MyEnum::C;
}

方法一：用带默认参数的偏特化替代全特化 #

核心思路是给主模板添加一个默认的非类型模板参数，将原本的全特化转为偏特化。偏特化的代码只有在被实例化时才会触发编译检查，避免未使用的特化导致编译错误。

修改后的代码：

#include <iostream>

enum class MyEnum
{
    A,
    B
};

// 主模板新增一个默认非类型参数
template<typename T, bool = true>
struct something;

// 针对int的偏特化
template<bool B>
struct something<int, B>
{
    static constexpr auto value = MyEnum::A;
};

// 针对double的偏特化，仅在实例化something<double>时才检查MyEnum::C
template<bool B>
struct something<double, B>
{
    static constexpr auto value = MyEnum::C;
};

int main()
{
    std::cout << static_cast<int>(something<int>::value) << std::endl;
    // 取消下面注释才会触发MyEnum::C的检查
    // std::cout << static_cast<int>(something<double>::value) << std::endl;
    return 0;
}

方法二：修复constexpr if实现 #

你之前的toEnum函数问题在于缺少头文件、未处理默认分支。利用constexpr if的编译时分支特性，未使用的分支会被丢弃，从而实现延迟检查。

修改后的代码：

#include <iostream>
#include <type_traits> // 必须包含此头文件以使用std::is_same_v

enum class MyEnum
{
    A,
    B
};

template<typename T>
constexpr MyEnum toEnum()
{
    if constexpr (std::is_same_v<int, T>)
        return MyEnum::A;
    else if constexpr (std::is_same_v<double, T>)
        return MyEnum::C;
    else
        // 处理未匹配的类型，可返回默认值或触发编译错误
        throw std::invalid_argument("Unsupported type");
}

int main()
{
    std::cout << static_cast<int>(toEnum<int>()) << std::endl;
    // 仅调用toEnum<double>()时才会检查MyEnum::C
    // std::cout << static_cast<int>(toEnum<double>()) << std::endl;
    return 0;
}

原代码中的something<double>是全特化，全特化的定义会被编译器立即处理，无论是否被使用。因此即使main中没有调用something<double>，编译器也会检查MyEnum::C的存在性，导致编译失败。

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