Question

我正在尝试编写一个编译时字符串类。我从this post那里得到了一些提示。不幸的是，我坚持构造函数重载优先级：const char[]构造函数被忽略而支持const char*构造函数。任何提示将不胜感激！

class string {
 public:
  // Can be done compile time. Works lovely! except...
  template<size_t N>
  constexpr string(const char(&char_array)[N])
      : ptr_(char_array), length_(N-1) {}

  // This override gets called instead.  I *must* keep this constructor.
  string(const char* const str)
      : ptr_(str) {
    length_ = strlen(str);
  }

  // Ugly hack. (not acceptable)
  template<size_t N>
  constexpr string(const char(&char_array)[N], double unused)
      : ptr_(char_array), length_(N-1) {}

 private:
  const char* ptr_;
  int length_;
};




constexpr const char kConstant[] = "FooBarBaz";

constexpr string kString(kConstant); // Error: constexpr variable 'kString' must be initialized by a constant expression (tries to call wrong overload)

constexpr string kString(kConstant, 1.0f); // ugly hack works.

如果我可以制作编译时字符串常量，那么我可以做很多很酷的事情。

字符串相等性测试在string上比const char *
消除从编译时常量字符串调用const char *的{{1}}到string的隐式转换的运行时开销。
编译时字符串集，用于执行相等性测试而不是散列大小＆lt; N.（这是我正在查看的一个应用程序的多个开销）

Answer 1

这有点难看，但应该有效：

template<class T, class = std::enable_if_t<std::is_same_v<T, char>>>
string(const T * const & str)
    : ptr_(str) {
  length_ = strlen(str);
}

诀窍是，在模板参数推导期间，通过const引用获取指针会阻止数组到指针的衰减，因此当您传递数组时，编译器无法推导T，并且忽略构造函数。 / p>

缺点是这也会拒绝其他可隐式转换为const char *的内容。

另一种方法可能是接受所有可转换为const char *的内容，然后根据所述内容是否为数组进行调度。

template<size_t N>
constexpr string(const char(&char_array)[N], std::true_type)
    : ptr_(char_array), length_(N-1) {}

string(const char * str, std::false_type)
    : ptr_(str) {
  length_ = strlen(str);
}

template<class T, class = std::enable_if_t<std::is_convertible_v<T, const char *>>>
constexpr string(T&& t) 
    : string(std::forward<T>(t), std::is_array<std::remove_reference_t<T>>()) {}

编译时字符串：`const char *`/`const char []`之间的构造函数重载优先级

1 个答案: