C++模板字符串连接

Question

我正在尝试定义一些像这样的可变参数模板：

typedef const char CCTYPE[];
template<CCTYPE X, CCTYPE... P> struct StringConcat { ... };

这样我就可以编写如下内容：

char foo[] = "foo"; char bar[] = "bar";
std::cout << StringConcat<foo, bar>;

并且它打印了 foobar。 如果在 C++0x 中可以的话，我该如何做到这一点？

我真正感兴趣的是解决 FizzBu​​zz 问题使用c ++模板，我找到了一个解决方案这里将int转换为使用模板的 char[]。

Answer 1

#include <boost/mpl/string.hpp>
#include <boost/mpl/insert_range.hpp>
#include <boost/mpl/end.hpp>
#include <iostream>

using namespace boost;

template < typename Str1, typename Str2 >
struct concat : mpl::insert_range<Str1, typename mpl::end<Str1>::type, Str2> {};

int main()
{
  typedef mpl::string<'hell', 'o'> str1;
  typedef mpl::string<' wor', 'ld!'> str2;

  typedef concat<str1,str2>::type str;

  std::cout << mpl::c_str<str>::value << std::endl;

  std::cin.get();
}

使用该构造，您应该能够在纯元编程中实现 FizzBu​​zz。顺便说一句，很好的锻炼。

Answer 2

您可以解决使 std::cout << 的问题StringConcat 工作。

template<CCTYPE...> struct StrBag {};
template<CCTYPE ...Str> void StringConcat(StrBag<Str...>) {}

std::ostream &print(std::ostream &os) { 
  return os; 
}

template<typename ...T> 
std::ostream &print(std::ostream &os, CCTYPE t1, T ...t) { 
  os << t1; 
  return print(os, t...);
}

template<CCTYPE ...Str>
std::ostream &operator<<(std::ostream &os, void(StrBag<Str...>)) {
  return print(os, Str...) << std::endl;
}

现在你可以说

char foo[] = "foo"; char bar[] = "bar";
int main() {
  std::cout << StringConcat<foo, bar> << std::endl;
}

希望它有帮助。

Answer 3

不可能的。 foo 和 bar 不是编译时常量。当您可以使用普通的旧函数时，也没有理由这样做：

char foo[] = "foo"; char bar[] = "bar";
std::cout << StringConcat(foo, bar);

Answer 4

可以采用可变数量的字符。然而，我相信没有现有的方法来连接这样定义的字符串。

Answer 5

您不能连接两个或多个字符串文字以获取单个字符串文字（除非您想使用宏）。但根据手头的任务，您的模板函数可以返回，例如 std::string，它是字符串文字的串联。后者是微不足道的。