C++ 的访问者模式 std::visit 中的完美转发

Question

我每周都在看Jason Turner C ++，遇到了这个代码片段。

template<typename... B>
struct Visitor: B...{

template<typename... T>
Visitor(T&&...t): B(std::forward<T>(t))...{} 

using B::operator()...;
};

template<typename...T>
Visitor(T...) -> Visitor<std::decay_t<T>...>;

int main(){
    std::array<std::variant<double, int, std::string>, 6> a{3.2, 2, 4, 6, 2.4, "foo"};
    int intTotal = 0;
    double doubleTotal = 0.0;

    Visitor visitor {[&intTotal](const int i){intTotal += i;},
                  [&doubleTotal](const double d) { doubleTotal += d;},
                 [](const std::string& c) { }};

    std::for_each(begin(a), end(a), [&visitor](const auto &v) {std::visit(visitor, v);});
    std::cout << intTotal << " " << doubleTotal << std::endl;
}

我可以摆脱完美的转发以及扣除指南。这不是C ++中的最佳实践。在什么情况下，效率降低了？

template<typename... B>
struct Visitor: B...{

  Visitor(const B&... b): B(b)... { }
  using B::operator()...;
};

e

Answer 1

Visitor(const B&... b)

此构造函数的所有参数现在都将是 const 引用...

                        : B(b)... 

...并且如果这些子类的构造函数中的任何一个采用非 const 引用的相应参数，这将是错误的并且无法编译。

class Foo {

public:
    Foo(int &n) {}
};

尝试在此类中使用您的访问者，看看它是否有效。你的模板实例的构造函数应该是这样的

Visitor(const int &n) : Foo(n) {}

Answer 2

我可以摆脱完美转发

通过 const 引用传递会复制 lambda 而不是移动它们。

对于你的情况来说这并不重要，但是 lambda 是否按值捕获事物就会很重要。如果 lambda 的复制成本很高，则可能会损害性能，或者如果无法复制 lambda（因为它们具有不可复制的状态，例如 [x = std::make_unique() ），则会导致编译错误](){})。

我可以摆脱……推演指南。

如果您通过 const 引用传递，是的。但如果您传递转发引用，则不会。

具有一组独立模板参数的构造函数是一个问题。但是如果你使用相同的模板参数（并且继承自 std::decay_t...），它仍然无法工作，因为内置的推导指南拒绝进行完美转发。如果传递左值，模板参数推导将不起作用。

---

更好的问题是为什么要有构造函数。如果删除它，该类型将变成一个聚合，并且一切都将继续像以前一样工作。

它甚至可以让你删除推导指南（除了 Clang 还不支持）。