Строки времени компиляции: приоритет перегрузки конструктора между `const char *`/`const char []`

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. 

Есть много классных вещей, которые я могу сделать, если я могу сделать константы строки компиляции.

• тестирования строки равенства быстрее, чем stringconst char *
• Исключите время выполнения накладных расходы неявных преобразований из const char * в string, которые требуют strlen() на постоянная время компиляции строк.
• Compile времени струнные комплекты, которые делают равенство тестирование вместо хэширования для размера < 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); 
} 

Хитрость заключается в том, что принимает указатель на константные опорных блоков массива к указателю-распад во время аргумента шаблона дедукции, поэтому, когда вы передаете массив, компилятор не может вывести T и конструктор игнорируются.

Недостатком является то, что это также отвергает другие вещи, которые неявно конвертируются в 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>>()) {}