Question

我正在尝试使用常见的“重载lambda”技巧从this article重新创建一个简单的示例，以创建可以与std::visit或其他类似功能一起使用的重载集。我的简化示例是：

#include <iostream>
#include <vector>

template<class... Ts> struct overloaded : Ts... { using Ts::operator()...; }; // (1)
template<class... Ts> overloaded(Ts...) -> overloaded<Ts...>;  // (2)

int main() {

    overloaded os(
        [](int i) { std::cout << "int: " << i << std::endl; }, 
        [](const char *str) { std::cout << "str: " << str << std::endl; }
    );

    os(1);
    os("Hello world!");

    return 0;
}

This does not compile。

<source>: In function 'int main()':
<source>:12:5: error: no matching function for call to 'overloaded<main()::<lambda(int)>, main()::<lambda(const char*)> >::overloaded(main()::<lambda(int)>, main()::<lambda(const char*)>)'
   12 |     );
      |     ^
<source>:4:30: note: candidate: 'constexpr overloaded<main()::<lambda(int)>, main()::<lambda(const char*)> >::overloaded(const overloaded<main()::<lambda(int)>, main()::<lambda(const char*)> >&)'
    4 | template<class... Ts> struct overloaded : Ts... { using Ts::operator()...; }; // (1)
      |                              ^~~~~~~~~~
<source>:4:30: note:   candidate expects 1 argument, 2 provided
<source>:4:30: note: candidate: 'constexpr overloaded<main()::<lambda(int)>, main()::<lambda(const char*)> >::overloaded(overloaded<main()::<lambda(int)>, main()::<lambda(const char*)> >&&)'
<source>:4:30: note:   candidate expects 1 argument, 2 provided

如果我将overloaded os的初始化更改为使用大括号初始化，则then it works。有人可以在这里解释区别吗？

Answer 1

这是一个简化的示例，没有任何模板可处理：

struct A { };
struct B { };

struct C : A, B { };

C x(A{}, B{}); // error
C y{A{}, B{}}; // ok

问题是：C是一个聚合，因此您可以使用聚合初始化来初始化其组件。这就是y起作用的原因。但是C是一个聚合，它没有构造函数，而x的初始化正是试图这样做。没有这样的匹配构造函数，因此失败。请注意，在C ++ 20中，x也将起作用，因为我们将能够使用括号执行聚合初始化。

获取x声明进行编译的方法是添加一个构造函数：

struct C : A, B {
    C(A a, B b) : A(a), B(b) { }
};

或者，对于原始问题：

template<class... Ts>
struct overloaded : Ts... {
    overloaded(Ts... ts) : Ts(std::move(ts))... { } // <==
    using Ts::operator()...;
};

或者只坚持聚合初始化，因为这是我们在这里所做的更明确的显示。

为什么括号初始化和括号初始化有区别？

1 个答案: