如何在C++20中检测参数是否为编译期C字符串？

我需要实现一个能检测参数是否为编译期C字符串的功能，代码框架如下：

template <class T>
consteval bool is_a_compile_time_c_string(T&& t) {
   // 实现逻辑
}

有人建议使用__builtin_constant_p，但该内置函数存在bug，无法可靠使用。我想知道在C++20标准下能否实现该功能，宏、模板或编译器内置特性都可以接受。

以下是具体需求示例（注释标注了预期输出）：

template <class U>
bool verify(U&& t) {
    return is_a_compile_time_c_string(t);
}

int main() {
    std::cout << is_a_compile_time_c_string("test_1") << std::endl;
    const char* s1 = "test_1";
    std::cout << is_a_compile_time_c_string(s1) << std::endl; // 预期输出1
    std::cout << verify(s1) << std::endl; // 预期输出1
    char s2[5];
    s2[0] = 'a';
    s2[1] = 0;
    std::cout << is_a_compile_time_c_string(s2) << std::endl; // 预期输出0
    std::cout << verify(s2) << std::endl; // 预期输出0
}

可行实现方案 #

在C++20中，结合std::is_constant_evaluated()和编译器内置特性，可以实现该功能。以下是兼容编译期和运行时调用的完整代码：

#include <type_traits>
#include <iostream>

// 匹配字符串字面量类型（const char[N]）
template <std::size_t N>
constexpr bool is_a_compile_time_c_string(const char (&)[N]) {
    return true;
}

// 处理const char*指针
constexpr bool is_a_compile_time_c_string(const char* ptr) {
    if (std::is_constant_evaluated()) {
        // 编译期：利用GCC/Clang内置函数判断指针是否指向编译期常量
        return __builtin_is_constant_ptr(ptr);
    } else {
        // 运行时：同样用内置函数判断，不支持的编译器默认返回false
        #ifdef __GNUC__
        return __builtin_is_constant_ptr(ptr);
        #else
        return false;
        #endif
    }
}

// 匹配所有非C字符串类型，返回false
template <class T>
constexpr bool is_a_compile_time_c_string(T&&) {
    return false;
}

template <class U>
bool verify(U&& t) {
    return is_a_compile_time_c_string(std::forward<U>(t));
}

int main() {
    std::cout << is_a_compile_time_c_string("test_1") << std::endl; // 输出1
    const char* s1 = "test_1";
    std::cout << is_a_compile_time_c_string(s1) << std::endl; // 输出1
    std::cout << verify(s1) << std::endl; // 输出1
    char s2[5];
    s2[0] = 'a';
    s2[1] = 0;
    std::cout << is_a_compile_time_c_string(s2) << std::endl; // 输出0
    std::cout << verify(s2) << std::endl; // 输出0
}

关键说明 #

1. 字符串字面量识别：通过模板特化直接匹配const char[N]类型，这是最可靠的判断，因为字符串字面量的类型本身就是编译期可知的数组类型。
2. const char*指针判断：
   • 编译期：使用__builtin_is_constant_ptr（GCC/Clang支持）判断指针是否指向编译期常量存储区（即字符串字面量的地址）；
   • 运行时：同样调用该内置函数，对于不支持的编译器（如MSVC），可以替换为__is_constant_expression(ptr)来实现类似逻辑。
3. 兼容性调整：如果需要兼容MSVC，只需将__builtin_is_constant_ptr替换为MSVC对应的内置函数即可。

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