'const std::string&' 后面的变量参数列表弄乱了堆栈

Question

我有一个函数：std::string format(const std::string sformat, ...); 它基本上就像一个花哨的 sprintf()。

由于我经常调用该函数，因此我想将格式字符串作为引用传递：const std::string& sformat。 不幸的是 va_start() 似乎无法在堆栈上找到变量参数列表的正确位置。

如果我删除“&”，它会正常工作。

两个问题：答：我是否需要引用以防止在调用期间复制sformat，或者优化器是否足够聪明，只需执行传递引用在后台？ B：我可以做些什么来防止格式字符串的值传递并且仍然不会混淆 va_start() ？

我的猜测是：指针传递。还是有更好的解决方案？

Answer 1

namespace details {
  std::string format(char const* sformat, ...) {
    // code
  }
}
template<class...Args>
std::string format(std::string const& str, Args const&... args) {
  return details::format( str.data(), args... );
}

作为奖励，我可以写一个to_pod 助手：

namespace details {
  std::string format(char const* sformat, ...) {
    // code
  }
}
template<class T>
T const& to_pod(T const& t){ return t; }
template<class Char, class Attribs>
Char const* to_pod( std::basic_string<Char, Attribs> const& str ) {
  return t.data();
}
template<class...Args>
std::string format(std::string const& str, Args const&... args) {
  return details::format( str.data(), to_pod(args)... );
}

现在我可以将std::strings 作为第一个参数之后的内容传递，它们会自动转换为指向其缓冲区的char const* 指针。

...

如果您没有 C++11 编译器（例如 MSVC 2010），最好的办法可能是编写重载。

std::string format(std::string const& str) {
  return details::format( str.data() );
}
template<class A0>
std::string format(std::string const& str, A0 const& a0) {
  return details::format( str.data(), to_pod(a0) );
}
template<class A0, class A1>
std::string format(std::string const& str, A0 const& a0, A1 const& a1) {
  return details::format( str.data(), to_pod(a0), to_pod(a1) );
}
// etc

您可能不需要超过 10 个参数。