C++模版元編程中如何拼接兩個const char*？

template &
struct StringCat : String&
{
T t;
constexpr StringCat(const char(str)[M], const T str2) : String&(str), t(str2) {}
};

template &
constexpr StringCat&&> catString(const char(str)[M], const char(str2)[N]) {
return StringCat&&>(str, mkString(str2));
}


這樣使用時，只要直接用auto + catString即可

const char hello[] = "hello, ";
const char world[] = "world!!";
//這裡hello和world聲明為array而不是pointer
//是因為String類的構造函數做了保護性檢查，public構造函數僅接受const char [SIZE]的array
//可以修改String類的構造函數的參數為const char *
//來使用const char *類型的字元常量
const auto helloworld = catString(hello, world);


生成彙編如下

helloworld:
.byte 104
.byte 101
.byte 108
.byte 108
.byte 111
.byte 44
.byte 32
.byte 119
.byte 111
.byte 114
.byte 108
.byte 100
.byte 33
.byte 33
.byte 0


需要const char*的話，reinterpret_cast&(helloworld)

• 出來的類都是奇葩類，而且重要的是你concat結束了之後很有可能作為一個參數要傳到某個函數裡面的，這個函數一般不會說設計的接受這些個奇葩類的，那你這時候還得寫各種cast。
• 其實folly::fatal 的reflection也是用這裡的回答解決的問題，而且fb現在所有的thrift reflection走fatal的話都是像之前回答裡面一樣做compile time concatenation的，問題是這樣用template解決問題的時候binary文件各種爆炸

前幾天一個同事Eric Niebler終於妥善解決了這個問題（commit在這裡add folly::FixedString, a constexpr-usable string with a fixed-size i… · facebook/folly@77d5e54）（其實之前有個東西叫folly::StringPiece類似大家的答案，要是大家有興趣的話我可以補充），寫了一個東西叫folly::FixedString，基本上就是akirya 的答案加上無數的cast/helper 函數，還支持replace。比如

constexpr auto hello = makeFixedString("hello"); // a FixedString&<5&>
constexpr auto world = makeFixedString("world"); // another FixedString&<5&>
constexpr auto hello_world = hello + " " + world + "!";
static_assert(hello_world == "hello world!", "w00t");
EXPECT_STREQ("hello world!", hello_world.c_str());


還比如

FixedString&<10&> test{"****"};
test.replace(1, 2, "!!!!");
EXPECT_STREQ("*!!!!*", test.c_str());
static_assert(makeFixedString("****").creplace(1, 2, "!!!!") == "*!!!!*", "");


貌似在哪裡見到過。也思考過。但沒實際寫過。

可能這樣想的:可以遞歸兩個字元串，遇到0結束。用一個類裝一個靜態char數組 (長度由上面的遞歸推導)。再遞歸的把結果放入這個類的靜態char數組成員里。

但最後一步做不到，那是運行時。

如果是常量字元串的話，時可以拼接成std::array&這樣的

#include&
#include&
#include&
#include&
#include&
using std::cout;
using std::endl;

template&
void outputArray( const std::array& value )
{
cout &<&< typeid( value ).name() &<&< " " &<&< value.data() &<&< endl; } constexpr auto a = concat_string( "11111abc" , "1" , "ABC" , "!!!" ,"%" ); constexpr auto b = concat_string( "abc" , "1234" ); int main() { outputArray( concat_string( "abc" , "1234" ) ); outputArray( concat_string( "a" , "1234" ) ); outputArray( concat_string( "abc" , "1" ) ); outputArray( concat_string( "abc" , "1" , "ABC" , "!!!" ,"%" ) ); return 0; }

如果是literal string的話…… 直接拼起來就行了

模板的感覺單就const char *不夠，我來作弊一下，給出一個宏版本的，也是編譯期完成字元串連接的。

#include&