Constexpr приведено к const char[]

я решил принять, по-видимому, непригодный подход: использование template <char...> классы.

это то, что я придумал, это очень распространено, ничего особенного, а также не работает.

template <char... chars> class string
{
public:

    static constexpr const char value[] = {chars...};

    constexpr string()
    {
    }

    constexpr operator decltype(value) & () const
    {
        return value;
    }
};

template <char... chars> constexpr const char string <chars...> :: value[];

моя идея была сделать string экземпляр constexpr constructible и подвергая какой-то constexpr кастинг, чтобы он обеспечивал его содержание.

теперь, если я это сделаю

static constexpr const char x[] = "ciao";

template <const char * str> void print()
{
    std :: cout << str << std :: endl;
}

print <x> ();

это работает и говорит ciao. Я получаю ciao также если я делаю

std :: cout << string <'c', 'i', 'a', 'o'> {} << std :: endl;

или

print <string <'c', 'i', 'a', 'o', ''> :: value> ();

но когда я делаю

print <string <'c', 'i', 'a', 'o', ''> {}> ();

я: No matching function for call to print.

Я определенно что-то упускаю. Неужели невозможно сделать то, что я пытаюсь сделать? Заставляя экземпляр выполнять приведение constexpr, чтобы как-то вернуть value? Если бы это сработало, я смог бы легко сделать операторы и строку манипуляция во время компиляции, "единственным" недостатком является ультра-скучный 'i', 'n', 'i', 't', 'i', 'a', 'l', 'i', 'z', 'a', 't', 'i', 'o', 'n'.

дальнейшие эксперименты

я сделал еще один эксперимент, который отлично работает.

template <char... chars> class string
{
public:
   constexpr string()
   {
   }

   constexpr operator size_t () const
   {
      return sizeof...(chars);
   }
};

template <size_t length> void print()
{
   std :: cout << length << std :: endl;
}

print <string <'c', 'i', 'a', 'o'> {}> ();

и он печатает довольно 4.