如何使用具有运行时类型的编译时接口？

问题描述

我有一个函数，它接受一个 T 并在提供的对象上调用特定的函数。到目前为止，它是从编译时对象中使用的，所以一切都很好。最小示例：

#include <iostream>

struct A {
   void fun() const { std::cout << "A" << std::endl; }
};

struct B {
   void fun() const { std::cout << "B" << std::endl; }
};

template<class T>
void use_function(const T& param) {
   param.fun();
}

int main() {
   use_function(A{}); // "A"
   use_function(B{}); // "B"
   return 0;
}

现在我正尝试将 use_function() 用于在运行时创建并且遇到困难的对象。我不能使用 std::variant 或 std::any，因为我需要为它们的访问函数提供类型作为模板参数 - 尽管 all 它们的变体满足函数接口。（失败的）变体方法的示例：

using var_type = std::variant<A,B>;

struct IdentityVisitor {
   template<class T>
   auto operator()(const T& alternative) const -> T {
      return alternative;
   }
};

int main() {
   var_type var = A{};

   // error C2338: visit() requires the result of all potential invocations to have the same type and value category (N4828 [variant.visit]/2).
   use_function(std::visit(IdentityVisitor{},var));
   return 0;
}

什么是可能是直接调用具有适当类型的函数，如下所示：

if (rand() % 2 == 0)
   use_function(A{});
else
   use_function(B{});

只是将它存储在两者之间是我无法工作的。

我在技术层面上理解，但在想出一个优雅的解决方案时遇到了麻烦。有吗？我知道我甚至可以使用轻量级继承来重写对象 - 但我试图看看完全避免它是否可行，即使只是作为避免 OOP 以支持模板和概念的练习。我感觉变体应该可以处理这个问题，但显然不是。

解决方法

std::visit([](auto const& x) { use_function(x); },var);

如果重载集是对象，则可以直接将 use_function 传递给 std::visit。因为它们不是，所以您需要将其包装在将实例化为对正确重载的调用中。

std::visit([](auto const& x) { use_function(x); },var);

c++templates templates templates variant variant