constexpr with string operations workaround?

Question

This previously answered question explains why the code I have posted below does not work. I have a follow-up question: is there a workaround that is conceptually equivalent, i.e., achieves compile-time string concatenation, but is implemented in a way that is actually supported by C++11? Using std::string is completely non-essential.

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

So you want compile-time string concatenation?

Seth Carnegie
– Seth Carnegie

2012-01-29 04:23:01 +00:00
Commented Jan 29, 2012 at 4:23 — Seth Carnegie
– Seth Carnegie, Commented Jan 29, 2012 at 4:23

Denis Kreshikhin · Accepted Answer · 2012-01-29 16:45:25Z

7

Compile-time "string" concatenation :

#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
}

edited Jan 29, 2012 at 16:45

answered Jan 29, 2012 at 16:29

Denis Kreshikhin

9,5009 gold badges56 silver badges85 bronze badges

Sign up to request clarification or add additional context in comments.

2 Comments

Puppy Over a year ago

Is that actually going to work? I thought that you could only have one variadic pack.

Xeo Over a year ago

@DeadMG: You can have more than one if it can be deduced (function template) / is used in a partial specialization. Or in otherwords, if the pack itself isn't top-level.

Daniel James · Accepted Answer · 2013-04-02 13:17:12Z

3

Sprout C++ Libraries provide constexpr string. see: https://github.com/bolero-MURAKAMI/Sprout/blob/master/libs/string/test/string.cpp

edited Apr 2, 2013 at 13:17

Daniel James

3,94924 silver badges30 bronze badges

answered Jan 31, 2012 at 2:24

Akira Takahashi

3,05227 silver badges107 bronze badges

Collectives™ on Stack Overflow

constexpr with string operations workaround?

2 Answers 2

2 Comments

Comments

Your Answer

Linked

Hot Network Questions

Collectives™ on Stack Overflow

2 Answers 2

2 Comments

Comments

Your Answer

Sign up or log in

Post as a guest

Linked

Related