C++使用if constexpr判断特定类型时分支不触发问题求解

问题原因 #

• 直接原因：std::is_same做类型匹配时会严格校验包括const/volatile在内的所有类型限定符。你定义的atype、btype、ctype都带constexpr修饰，属于const限定的类型，decltype(变量)会完整保留变量的cv限定符，因此推导得到的是const aT/const bT/const cT，和不带const的目标类型匹配失败，三个判断条件结果全为false，没有分支命中。
• 附加说明：你当前把if constexpr写在非模板的main函数中，此时if constexpr和普通if没有本质差异，它的「不匹配分支丢弃不编译」的特性只有在模板上下文内才会生效，不过这不是本次代码运行无输出的直接诱因。

解决方法 #

可以任选以下任意一种方案修复：

1. 匹配时带上const限定符，适配变量的实际类型：

if constexpr (std::is_same_v<decltype(atype), const aT>)

2. 用std::remove_cv_t剔除类型的cv限定符后再匹配，不需要额外关心变量的const属性：

if constexpr (std::is_same_v<std::remove_cv_t<decltype(atype)>, aT>)

3. 用std::decay_t做类型退化，同时兼容变量是引用、数组等场景，适配性更强：

if constexpr (std::is_same_v<std::decay_t<decltype(atype)>, aT>)

如果你的预期是三个类型判断都独立执行，不要用else if串联分支，改成三个独立的if constexpr即可，避免第一个分支匹配后后续分支直接被丢弃。

修复后示例代码 #

#include <iostream>
#include <type_traits>

struct aT {};
struct bT {};
struct cT {};

constexpr aT atype;
constexpr bT btype;
constexpr cT ctype;

int main()
{
    if constexpr (std::is_same_v<std::remove_cv_t<decltype(atype)>, aT>)
        std::cout << "I am type aT" << std::endl;
    if constexpr (std::is_same_v<std::remove_cv_t<decltype(btype)>, bT>)
        std::cout << "I am type bT" << std::endl;
    if constexpr (std::is_same_v<std::remove_cv_t<decltype(ctype)>, cT>)
        std::cout << "I am type cT" << std::endl;
}

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