C++中是否可以强制要求函数参数必须为字符串字面量？

可以实现编译期强制构造函数仅接受字符串字面量（或其他静态存储期的常量字符串），不需要额外拷贝字符串内容，目前常用的实现方案如下：

方案1：C++20 consteval 校验（最简洁严格） #

C++20引入的consteval关键字声明的函数属于立即函数，所有入参必须是编译期常量表达式，只有字符串字面量、静态存储期字符串的指针满足该要求，刚好匹配你的需求。

完整实现代码：

#include <cstring>

// 立即函数：仅接受编译期常量字符串指针作为入参
consteval const char* require_string_literal(const char* str) {
    return str;
}

struct Example {
    explicit Example(const char* s) : string(require_string_literal(s)) {}
    const char* string;
};

void f() {
    char* freeableFoo = strdup("foo");

    // 该行会编译报错：freeableFoo是动态分配的指针，不属于编译期常量
    // Example e(freeableFoo);
    Example e1("literalFoo");   // 编译通过，字符串字面量生命周期覆盖整个程序运行周期

    free(freeableFoo);
}

该方案会自动放行静态存储期的常量字符串（比如全局const char[]、静态局部const char[]），这类字符串的生命周期同样是全程序有效，不会出现悬垂问题。

方案2：C11/C17 兼容方案 #

如果暂时无法升级到C++20，可以用宏包装配合constexpr校验实现类似效果：

#include <cstring>

struct Example {
    constexpr explicit Example(const char* s) : string(s) {}
    const char* string;
};

// 宏包装强制校验入参是编译期常量字符串
#define MAKE_EXAMPLE(str) []() constexpr { \
    constexpr const char* p = str; \
    return Example(p); \
}()

void f() {
    char* freeableFoo = strdup("foo");

    // 该行编译报错：freeableFoo无法用于constexpr变量初始化
    // auto e = MAKE_EXAMPLE(freeableFoo);
    auto e1 = MAKE_EXAMPLE("literalFoo"); // 编译通过

    free(freeableFoo);
}

注意事项 #

• 不推荐仅用const char(&)[N]模板参数做约束：该方法只能过滤裸const char*类型入参，无法过滤栈上声明的const char buf[] = "xxx"类型的参数，这类栈数组的生命周期仅在局部作用域，依然会出现悬垂指针问题。
• 如果需要完全禁止静态存储期的非字面量字符串传入，可以改用C++20的字符串非类型模板参数实现，语法为template<LiteralString s> struct Example { ... };，使用时写作Example<"literalFoo"> e;，绝对严格仅接受字符串字面量。

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