constexpr с обходом операций со строками?

Question

Этот ранее отвеченный вопрос объясняет, почему код, который я разместил ниже, не работает.У меня есть дополнительный вопрос: есть ли обходной путь, который концептуально эквивалентен, то есть достигает конкатенации строк во время компиляции, но реализован способом, который фактически поддерживается C ++ 11?Использование std :: string совершенно необязательно.

constexpr std::string foo() { return std::string("foo"); }
constexpr std::string bar() { return std::string("bar"); }
constexpr std::string foobar() { return foo() + bar(); }

Answer 1

Конкатенация строк во время компиляции:

#include <iostream>
#include <string>

template <char ... CTail>
struct MetaString
{ 
    static std::string string()
    {
        return std::string{CTail...};
    }
};

template <class L, class R>
struct Concatenate;

template <char ... LC, char  ... RC>
struct Concatenate<MetaString<LC ... >, MetaString<RC ... >>
{
    typedef MetaString<LC ..., RC ... > Result;
};

int main()
{
    typedef MetaString<'f', 'o', 'o'> Foo;
    typedef MetaString<'b', 'a', 'r'> Bar;

    typedef typename Concatenate<Foo, Bar>::Result FooBar;

    std::cout << Foo::string() << std::endl; //  foo
    std::cout << Bar::string() << std::endl; //  bar
    std::cout << FooBar::string() << std::endl; //  foobar
}

Answer 2

Sprout C ++ Библиотеки предоставляют строку constexpr.см .: https://github.com/bolero-MURAKAMI/Sprout/blob/master/libs/string/test/string.cpp