将传递的参数限制为字符串文字

Question

我有一个类来包装字符串文字并在编译时计算大小.

构造函数如下所示:

template< std::size_t N >
Literal( const char (&literal)[N] );

// used like this
Literal greet( "Hello World!" );
printf( "%s, length: %d", greet.c_str(), greet.size() );

但是代码有问题.下面的代码编译,我想使它成为一个错误.

char broke[] = { 'a', 'b', 'c' };
Literal l( broke );

有没有办法限制构造函数,使它只接受c字符串文字？编译时间检测是首选,但如果没有更好的方法,则可以接受运行时.

Answer 1

有一种强制字符串文字参数的方法:创建用户定义的文字运算符.您可以让运算符constexpr在编译时获取大小:

constexpr Literal operator "" _suffix(char const* str, size_t len) {
    return Literal(chars, len);
}

我不知道目前有任何编译器实现此功能.

Answer 2

是的。您可以使用以下预处理器生成编译时错误：

#define IS_STRING_LITERAL(X) "" X ""

如果您尝试传递字符串文字以外的任何内容，编译将失败。用法：

Literal greet(IS_STRING_LITERAL("Hello World!"));  // ok
Literal greet(IS_STRING_LITERAL(broke)); // error