basic_string_view的构造函数设计分析

代码

  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::length``.
    \endrst
   */
  constexpr  inline basic_string_view(const Char* s)
      : data_(s),
        size_(detail::const_check(std::is_same::value &&
                                  !detail::is_constant_evaluated(true))
                  ? std::strlen(reinterpret_cast(s))
                  : std::char_traits::length(s)) {}

  /** Constructs a string reference from a ``std::basic_string`` object. */
  template 
  constexpr basic_string_view(
      const std::basic_string& 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::value &&
                                  !detail::is_constant_evaluated(true))
                  ? std::strlen(reinterpret_cast(s))
                  : std::char_traits::length(s)) {}

这里的设计是考虑到了C风格的标准char和一些其他的宽字节字符串，比如wchar_t 等。

• 如果 Char 类型是 char 并且当前不处于常量表达式上下文中，则执行以下逻辑：
  • std::strlen(reinterpret_cast(s))：使用 strlen 函数计算以 null 终止的 C 字符串 s 的长度。
• 否则，执行以下逻辑：
  • std::char_traits::length(s)：使用 char_traits 的 length 函数计算字符串 s 的长度。

这里的std::char_traits::length(s)也是一个模板，是C++ 标准库中 `std::char_traits` 模板类的静态成员函数 `length` 的调用。它提供了一系列宽字节字符的默认长度计算函数。

需要注意的是，`std::char_traits` 提供了默认的实现，适用于大多数字符类型，但对于某些特殊的字符类型，可能需要提供自定义的特化实现来覆盖默认行为。