C++模板元编程

Question

我刚刚开始使用模板元编程，所以我只是尝试做一些基本的事情。我得到了适用于 BST 的 Size 和 Lookup “方法”，所以我决定尝试创建一个 String 类。我在 cpp 文件中有这段代码：

#include <iostream>
#include <string>
using namespace std;

struct Null;

// String
template <char C, typename S>
struct String {
  static const char chr = C;
  typedef S tail;
};

// ToString
template <typename S>
struct ToString;

template <char C, typename S>
struct ToString<String<C, S> > {
  static const string str;
};

template <char C, typename S>
const string ToString<String<C, S> >::str = C + ToString<S>::str; // (*)

template <char C>
struct ToString<String<C, Null> > {
  static const string str;
};

template <char C>
const string ToString<String<C, Null> >::str = C + ""; // to make it a string

int main() {
  typedef String<'H', String<'e', String<'l', String<'l',
             String<'o', Null> > > > > myString;
  cout << ToString<myString>::str << endl;
  return 0;
}

当我运行它时，这段代码输出“Hell”。我在基本情况下做错了什么？它似乎与“”有关，因为我曾经将 C + ToString::str 作为 "" + C + ToString::str< /code> 位于 (*) 行，然后输出是随机垃圾。

Answer 1

"" + C + ToString::str 首先执行指针加法，然后才进行串联，要一直执行字符串串联 std::string("") + C + ToString::str