如何向std::format传递指针参数？编译异常问题咨询

问题场景 #

以下代码可正常编译，能同时处理整数与转换为void*的指针格式化：

AYAPI_API int AYBlitBuffer(int a1, int a2, int* a3, int* a4)
{
    Log(std::format("@{}: a1 = {}, a2 = {}, a3 = {}, a4 = {}", __FUNCTION__, a1, a2, static_cast<void*>(a3), static_cast<void*>(a4)));
    return 0;
}

但仅传递单个指针参数并使用十六进制格式化时，会触发编译错误：

AYAPI_API int AYRenderPrim(int *a1)
{
    Log(std::format("@{}: a1 = {:#010x}", __FUNCTION__, static_cast<void*>(a1)));
    return 0;
}

错误提示 #

error C7595: 'std::_Basic_format_string<char,const char (&)[13],void *>::_Basic_format_string': call to immediate function is not a constant expression

原因分析 #

这是MSVC编译器对std::format的编译期格式校验机制导致的：当用整数格式符x格式化void*类型参数时，编译器无法在编译期确认格式说明符与参数类型的匹配性，进而触发即时函数调用非常量表达式的错误。

解决方法 #

方法一：将指针转换为uintptr_t类型 #

uintptr_t是C++标准定义的无符号整数类型，专门用于存储指针数值。转换后可直接用整数格式符格式化：

#include <cstdint> // 需包含此头文件

AYAPI_API int AYRenderPrim(int *a1)
{
    Log(std::format("@{}: a1 = {:#010x}", __FUNCTION__, reinterpret_cast<uintptr_t>(a1)));
    return 0;
}

方法二：使用指针专属格式符p #

C++标准中void*类型的专属格式说明符是p，它会输出带0x前缀的十六进制地址，和{:#010x}效果一致，且能通过编译器类型校验：

AYAPI_API int AYRenderPrim(int *a1)
{
    Log(std::format("@{}: a1 = {:#010p}", __FUNCTION__, static_cast<void*>(a1)));
    return 0;
}

方法三：关闭编译期格式检查（不推荐） #

若必须用整数格式符处理指针，可通过MSVC编译器选项/Zc:formatStrings-关闭编译期格式校验，但此做法会丢失编译期错误检查的优势，可能引入潜在的格式不匹配问题。

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