如何在C++宏中判断表达式是否为类型依赖表达式？

你想要实现的PRINT宏逻辑很明确：对非类型依赖的不可打印对象直接触发编译错误，对类型依赖的不可打印对象则输出占位符，避免用户每次都手动写if constexpr判断。

先看你的原代码场景：

#include <concepts>
#include <format>
#include <iostream>

template <typename T>
void Print(const T &value)
{
    if constexpr (std::default_initializable<std::formatter<T>>)
        std::cout << std::format("{}", value) << '\n';
    else
        std::cout << "??\n";
}

#define PRINT(...) Print(__VA_ARGS__)

// ---

struct Unknown {};

template <typename T>
void MaybePrint(const T &value)
{
    PRINT(value);
}

int main()
{
    PRINT(42); // "42"
    PRINT(Unknown{}); // "??", 但我希望触发编译错误，因为该表达式非类型依赖。
    MaybePrint(42); // "42"
    MaybePrint(Unknown{}); // "??", 这是合理的，因为该表达式是类型依赖的。
}

直接用宏做判断行不通的原因 #

宏是预处理阶段的工具，它只负责文本替换，完全感知不到编译阶段的类型信息——包括某个表达式是不是类型依赖。所以没法直接在宏里做这个判断，得换个思路，用C++的重载、概念和SFINAE来实现。

可行的解决方案 #

我们可以通过两个重载的实现，配合类型依赖判断来达到需求：

#include <concepts>
#include <format>
#include <iostream>
#include <type_traits>

// 先定义可打印的概念
template <typename T>
concept Printable = std::default_initializable<std::formatter<T>>;

// 处理类型依赖的情况：模板参数类型，允许不可打印，输出占位符
template <typename T>
void PrintImpl(const T& value, std::true_type)
{
    if constexpr (Printable<T>)
        std::cout << std::format("{}", value) << '\n';
    else
        std::cout << "??\n";
}

// 处理非类型依赖的情况：具体类型，必须可打印，否则编译报错
template <Printable T>
void PrintImpl(const T& value, std::false_type)
{
    std::cout << std::format("{}", value) << '\n';
}

// 辅助模板：判断类型是否依赖于模板参数
template <typename T>
struct is_type_dependent : std::false_type {};

template <typename T>
struct is_type_dependent<T> requires std::is_dependent_type_v<T> : std::true_type {};

// 宏转发到对应的重载
#define PRINT(...) PrintImpl(__VA_ARGS__, is_type_dependent<decltype(__VA_ARGS__)>())

// ---

struct Unknown {};

template <typename T>
void MaybePrint(const T& value)
{
    PRINT(value);
}

int main()
{
    PRINT(42); // 正常输出"42"
    // PRINT(Unknown{}); // 触发编译错误，符合预期
    MaybePrint(42); // 正常输出"42"
    MaybePrint(Unknown{}); // 输出"??"，符合预期
}

关键逻辑说明 #

1. std::is_dependent_type_v：C++20引入的特性，专门用来判断一个类型是否依赖于模板参数，这是区分两种场景的核心。
2. 双重载分支：
   • 当表达式是类型依赖时，调用第一个重载，内部用if constexpr判断是否可打印，能打印就输出内容，不能就输出占位符；
   • 当表达式是非类型依赖时，调用第二个重载，用Printable概念做约束，只有可打印的具体类型能通过编译，不可打印的直接报错。
3. 宏的作用：只是把实参转发到对应的重载，同时传递类型依赖的判断结果。

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