使用聚合初始化模拟默认函数参数是否存在任何陷阱?

Are there any pitfalls to simulate defaulted function parameters using aggregate initialization?

本文关键字：是否 参数 存在 任何 陷阱 函数 默认 初始化 模拟      更新时间：2023-10-16

问题：

例如，如果你想要一个可变参数函数，它接受任意数量的参数Args&&...args，并t次打印所有这些参数。更重要的是，您希望t默认为1，因此默认情况下它会一次性打印所有args。

您要尝试的第一件事是：

template <typename ... Args>
void foo(Args... args, unsigned t = 1) {
for (unsigned i = 0; i < t; ++i) {
(std::cout << ... << args);
}
}

显然，除非您显式传入模板参数，否则这不起作用：

// Error: expected 1 argument, got 2
foo(0, "Hello, world!");

因为默认参数在模板推导时被视为普通参数，并且参数包始终为空。这会阻止您使函数有用。(相关问题(

然后，我决定使用聚合初始化(特别是自 c++ 20 以来指定的初始值设定项(来模拟更强大的"默认参数"。它看起来像这样：

struct foo_t {
unsigned t = 1;
template <typename ... Args>
void operator() (Args... args) {
for (unsigned i = 0; i < t; ++i) {
(std::cout << ... << args);
}
}
};
int main() {
foo_t{}("Hello, ", "World!n");      // prints 1 line
foo_t{ 5 }(0, "Hello, world!n");    // prints 5 lines
return 0;
}

此外，这可以解决人们在 c++ 20 指定初始化器的帮助下无法"跳过"默认函数参数的抱怨：

struct bar_t {
const std::string& str = "Hello, world!";
int t = 1;
void operator() () {
for (int i = 0; i < t; ++i) {
std::cout << str << std::endl;
}
}
};
int main() {
// Skips .str, using the default "Hello, World!"
bar_t{ .t = 10 }();
return 0;
}

我想知道这样做是否有任何潜在的陷阱。

背景(可以安全地忽略(

所以昨天我在SO周围徘徊，遇到了一个问题(但后来被删除了(，询问如何将默认std::source_location参数与可变参数模板相结合：

template<typename... Args>
void log(Args&&... args, const std::experimental::source_location& location = std::experimental::source_location::current()) {
std::cout << location.line() << std::endl;
}

显然，正如问题中所述，这并没有按预期工作。所以我想出了以下代码：

struct logger {
const std::experimental::source_location& location = std::experimental::source_location::current();
template <typename... Args>
void operator() (Args&&... args) {
std::cout << location.line() << std::endl;
}
};
int main(int argc, char** argv) {
logger{}("I passed", argc, "arguments.");
return 0;
}

但发现它可以做得更多，因此这个问题。

寿命(扩展(至少有一个陷阱：

const std::string& str = "Hello, world!";创建悬空指针(成员没有生存期延长(。

以下很好：

void repeat_print(const std::string& str = "Hello, world!", int t = 1) {/*..*/}
int main()
{
repeat_print();
}

但以下不是：

struct bar_t {
const std::string& str = "Hello, world!";
int t = 1;
void operator() () const { /*..*/ }
};
int main()
{
bar_t{}();
}

您可以修复bar_t以按值获取成员，但在某些情况下，您会执行额外的复制。

相关文章：