c++ - 使用静态类变量而不分配它们

Question

背景

所以今天早些时候我对 std::ofstream 实现了一个瘦包装器这让我可以轻松地写入 .csv 文件。我想覆盖 <<运算符写入值后跟一个逗号，然后当需要换行时，我会打印一个退格字符，然后打印一个新行。我决定将换行行为作为模板特化来实现，如下所示:

// *this << value; => prints the value to the csv file
// *this << CsvWriter::BREAK; => goes to the next line of the csv file
// Example:
//   CsvWriter csv("test.csv", {"Col 1", "Col 2", "Col 3"});
//   csv << "Value 1" << 2 << 3.25 << CsvWriter::BREAK;
class CsvWriter {
 public:
  CsvWriter(const char *fname, std::vector<const char *> headers);
  CsvWriter() = delete;
  CsvWriter(const CsvWriter &) = delete;
  CsvWriter &operator=(const CsvWriter &) = delete;
  ~CsvWriter() = default;

  // Used for the template specialization below
  static struct LineBreak {} BREAK;

  template <typename T>
  CsvWriter &operator<<(T t);

 private:
  std::ofstream out_;
  bool first_ = true;  // true when printing first element of line
};

template <typename T>
CsvWriter &CsvWriter::operator<<(T t) {
  if (!first_) {
    out_ << ',';
  } else {
    first_ = false;
  }
  out_ << t;
  return *this;
}

// This is the specialization for newlines.
// If anything of type LineBreak is passed to this function, this executes.
template <>
CsvWriter &CsvWriter::operator<<(LineBreak) {
  out_ << std::endl;
  first_ = true;  // Reset first for next line
  return *this;
}

// The constructor gives an example use of the template specialization
CsvWriter::CsvWriter(const char *fname, std::vector<const char *> headers)
    : out_(fname) {
  for (const char *header : headers) {
    *this << header;  // Prints each string in header
  }
  *this << BREAK;  // Goes to the next line of the csv
}

简要说明

此代码按原样完美运行，并且在 gcc 中编译时没有任何问题。但是，我注意到我在技术上没有将内存分配给值 BREAK .所以为了检查它，我尝试打印 &CsvWriter::BREAK 的值并遇到链接错误(这是有道理的，我要求的是不在内存中的地址)。此外，如果我添加行 CsvWriter::LineBreak CsvWriter::BREAK;在类定义之后，我可以打印 &CsvWriter::BREAK 的值没问题(这也有道理，因为现在我已经给了它内存。

由此，我可以一起疑惑，如果该值从未在任何编译单元中使用过，那么链接器将永远不会寻找该值，也永远不会提示它。但是如果我使用它(例如获取地址)，链接器将尝试链接名称，但找不到任何东西。

问题

虽然我发现这个结果对我正在尝试做的事情非常有用，但我很好奇，这在技术上是否违反了 C++11 标准？或者这是完全有效的代码？如果没有，是否有更好的方法使用同样清晰和简单的界面来做到这一点？

Answer 1

从技术上讲，这是一个格式错误的程序。

可能发生的情况是，编译器足够聪明，可以看到重载函数的参数值从未被使用过。因此，编译器不会发出代码来传递未使用的 BREAK重载的值 <<运算符(operator)。由于没有生成对符号的引用，因此链接器不会提示。

但是，如果您显式生成对该对象的引用，链接当然会失败。

C++ 标准不要求编译器执行此优化，因此这是病式的。因此，从技术上讲，这确实是 C++ 标准所不允许的。