c++ - 如何使用指向通用模板类的指针来访问依赖于模板参数类型的成员函数

Question

有没有办法拥有一个指向通用模板类的指针并调用一个返回值取决于模板参数的函数？这是我正在尝试做的事情:

class Node{...}

template < typename Type > class NumberNode : public Node
{
    public:
        NumberNode( Type value ) : _value( value ) { }

        Type getValue() { return _value; }

    private:
        Type _value;
}

void foo( int x )    { /* do something */ }
void foo( float x )  { /* do something else */ }

void main(...)
{
    std::vector< Node* > nodes;

    nodes.push_back( new NumberNode< int >( 1 ) );
    nodes.push_back( new NumberNode< float >( 1.f ) );

    for( Node* ptr_node : nodes )
    {
        foo( static_cast< NumberNode* >( ptr_node )->getValue() );
    }
}

我不能这样做，因为 static_cast( Derived* ) 应该知道完整的模板类型，它会有所不同。我也不能让 Base 成为模板类型，因为其他类也从它派生。有人知道解决方法吗？

Answer 1

这是正确的做法:

class Node 
{
 public:
  virtual void foo() = 0;
};

你的循环变成了

for( Node* ptr_node : nodes )
{
    ptr_node->foo();
}

foo 可以像这样在 NumberNode 中实现:

template <typename Type> 
void NumberNode::foo() 
{
  ::foo(_value);
}

也许此设计不再需要 getValue()，您可以摆脱它。这是一件好事。 setter/getter 是弱设计的表现。对象应该做事情，而不是有事情。

如果你出于某种原因不想在 Node 中使用 foo(也许你有太多像 foo 这样的函数并且不要不想污染接口(interface))，另一种方法是实现 VISITOR pattern 用于节点。但是 Visitor 有其自身的缺点，因此我只建议在这种情况下将其用作最后的手段。