今天我为我的项目编写代码，并在链接器外部遇到 Unresolved 问题，代码必须生成具有多个虚拟抽象方法的类 - 作为类集合的基础。所以我决定为此任务使用可变参数模板 - 但出现了错误。

template<int I>
struct pin_tag {};

//inputs
template<int N, class T0, class... VAR>
class inputs_base : public inputs_base<N + 1, VAR...>
{
protected:
   typedef inputs_base<N + 1, VAR...> base_type;
   using arg_type = T0;
   //using base_type::_in;
   virtual void _in(T0 const& t, pin_tag<N>) = 0;
};

template<int N, class T0>
class inputs_base<N, T0>
{
protected:
   using arg_type = T0;
   virtual void _in(T0 const& t, pin_tag<N>) = 0;
};

template<class... VAR>
class inputs : public inputs_base<0, VAR...>
{
private:
   using inputs_type = inputs<VAR...>;
   using inputs_base_type = inputs_base<0, VAR...>;

   template <int N, class T = inputs_type>
   struct getter
   {
     using next_type = typename getter<N - 1, typename T::base_type>;
     using arg_type = typename next_type::arg_type;
     using current_type = typename next_type::current_type;
   };

   template <class T>
   struct getter<0, T>
   {
     using arg_type = typename T::arg_type;
     using current_type = typename T;
   };

   public:
   template<int N>
   using in_arg_type = typename getter<N>::arg_type;

   template<int N>
   void in(in_arg_type<N> const& t)
   {
     getter<N>::current_type::_in(t, pin_tag<N>());
   }
};


class test : public inputs< int, bool >
{
protected:
   virtual void _in(int const& val, pin_tag<0>)
   {}
   virtual void _in(bool const& val, pin_tag<1>)
   {}
 };

int _tmain(int argc, _TCHAR* argv[])
{

   test t;
   t.in<0>(100500);
}

我有链接器错误

error LNK2019: unresolved external symbol "protected: virtual void __thiscall inputs_base<0,int,bool>::_in(int const &,struct pin_tag<0>)" (?_in@?$inputs_base@$0A@H_N@@MAEXABHU?$pin_tag@$0A@@@@Z) referenced in function "public: void __thiscall inputs<int,bool>::in<0>(int const &)" (??$in@$0A@@?$inputs@H_N@@QAEXABH@Z)

似乎_in 失去了虚拟性。请任何人检查我的代码。

最佳答案

解决问题

在inputs<...>::in() , 替换

getter<N>::current_type::_in(t, pin_tag<N>());

通过

this->_in(t, pin_tag<N>());

另外，在 inputs_base , 还原线

using base_type::_in;

目前已被注释掉。

参见 live example .

_in “失去虚拟性”，因为您在基类 getter<N>::current_type 上显式调用它.相反，this->_in(...)将其称为虚函数。

但是要让它工作，你需要所有 _in范围重载； using做这个。否则，只有 _in最衍生基的重载是可见的。所有其他的都是隐藏的。

清理

您可以使用 std::tuple_element 来简化您的代码而不是(或者，帮助您实现)您的自定义 getter .或者至少删除 getter来自 inputs并将其(或变体)放在一些更通用的“实用程序”位置；您肯定会在其他地方需要它。

此外，

using inputs_type = inputs<VAR...>;

不需要。您可以使用 inputs直接不附加 <VAR...> .这是由编译器在 inputs 范围内为您的方便自动完成的定义。

Here是您清理后的代码。 inputs_base的执行和 inputs代码从 51 行减少到 21 行。

现在inputs_base只做一项工作:声明 _in() 的多个重载.此外，定义 in()作为模板函数，getter 都不是也不std::tuple_element是需要的。特别是，inputs被简化为

template<class... U>
struct inputs : inputs_base<0, U...>
{
    template<int N, typename T>
    void in(T const& t) { this->_in(t, pin_tag<N>()); }
};

泛化

您的代码假定每个虚函数 _in过载是 void并采用单个输入参数，即对 const 的引用.这可能是一个限制。推广这种方法来处理一组任意函数签名将使这段代码非常有用。

Here是行动中的通用代码。时间不多了。现在test修改如下:

struct test : overload<void(int), void(bool)>
// ...

也就是说，它是根据整个函数签名而不是单个参数类型进行参数化的。按值调用适用于 int或 bool ;不需要 const& .

关于C++ 可变参数模板在虚拟抽象的外部未解析，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/22742635/