c++ - 宏定义中预处理器标记周围有两个双引号

Question

我不明白在 C++ 中对字符串使用两个双引号的意义。我在某处看到以下代码:

class str_literal;
static str_literal operator"" _s(const char *s, size_t len);

class str_literal {
private:
  explicit str_literal(const char *s)
      : m_str(s) //&(STRING_LITERAL(s)))
  {}
  const char *m_str;

public:
  friend str_literal operator"" _s(const char *s, size_t len);
};
static str_literal operator"" _s(const char *s, size_t len) {
  return str_literal(s);
}
#define S(str) "" str "" _s

为什么不公开构造函数并直接执行此操作？

#define S(str) str_literal(str)

Answer 1

它们是不必要的。无论谁编写代码，都可能打算利用这样一个事实:预处理器将连续的 C 字符串文字连接成一个文字，以便例如S("hi") 产生 """hi"""_s，而 """hi"""_s 又产生 "hi"_s。

但是，宏定义中不需要有第一个""。并且也不需要第二个 ""，因为我们可以使用 token pasting operator ## 改为:

#define S(str) str ## _s

这具有完全相同的效果，并且是惯用的。