代码
constexpr basic_string_view() noexcept : data_(nullptr), size_(0) {}
/** Constructs a string reference object from a C string and a size. */
constexpr basic_string_view(const Char* s, size_t count) noexcept
: data_(s), size_(count) {}
/**
\rst
Constructs a string reference object from a C string computing
the size with ``std::char_traits<Char>::length``.
\endrst
*/
constexpr inline basic_string_view(const Char* s)
: data_(s),
size_(detail::const_check(std::is_same<Char, char>::value &&
!detail::is_constant_evaluated(true))
? std::strlen(reinterpret_cast<const char*>(s))
: std::char_traits<Char>::length(s)) {}
/** Constructs a string reference from a ``std::basic_string`` object. */
template <typename Traits, typename Alloc>
constexpr basic_string_view(
const std::basic_string<Char, Traits, Alloc>& s) noexcept
: data_(s.data()), size_(s.size()) {}
常量参数的写法
这里,构造函数前加constexpr的写法会让人迷惑,因为构造函数是没有返回值的,为什么会有constexpr呢?
constexpr 关键字用于指示编译器在编译时求值表达式,并要求表达式在编译时是可求值的常量表达式。这意味着该表达式的结果必须在编译时确定,并且不能依赖于运行时的值。
这里的constexpr 修饰符是在构造函数的参数上使用 。这样做是为了要求对象的构造参数在编译时是常量表达式。
比如:
class MyClass {
public:
constexpr MyClass(int x) : value(x) {}
private:
int value;
};
constexpr MyClass obj(42);
在上面的示例中,构造函数 MyClass(int x)
的参数 x
被声明为 constexpr
,这意味着在构造对象时,传递给构造函数的参数必须是编译时常量。通过这种方式,我们可以在编译时创建 constexpr
对象。
总结起来,构造函数本身不能被声明为 constexpr
,但可以在构造函数的参数中使用 constexpr
修饰符以要求编译时常量传递给构造函数。
字符串长度的设计考量
constexpr inline basic_string_view(const Char* s)
: data_(s),
size_(detail::const_check(std::is_same<Char, char>::value &&
!detail::is_constant_evaluated(true))
? std::strlen(reinterpret_cast<const char*>(s))
: std::char_traits<Char>::length(s)) {}
这里的设计是考虑到了C风格的标准char和一些其他的宽字节字符串,比如wchar_t 等。
- 如果
Char
类型是char
并且当前不处于常量表达式上下文中,则执行以下逻辑:std::strlen(reinterpret_cast<const char*>(s))
:使用strlen
函数计算以 null 终止的 C 字符串s
的长度。
- 否则,执行以下逻辑:
std::char_traits<Char>::length(s)
:使用char_traits
的length
函数计算字符串s
的长度。
这里的std::char_traits<Char>::length(s)也是一个模板,是C++ 标准库中 `std::char_traits` 模板类的静态成员函数 `length` 的调用。它提供了一系列宽字节字符的默认长度计算函数。
需要注意的是,`std::char_traits` 提供了默认的实现,适用于大多数字符类型,但对于某些特殊的字符类型,可能需要提供自定义的特化实现来覆盖默认行为。