0

我可以使用 C++ 模板类来区分对象类型吗?或者我应该使用什么?

例如。我有一个类Synonym,它可以是Statement, Procedure, etc例如类型。我有接受这些同义词并根据其类型评估它们的函数。所以我想如果我能做这样的事情会很好:

enum Types { Statement, Procedure, Variable, ... };

template <typename Types>
class Synonym { ... }

void evaluate(Synonym<Statement> s, Synonym<Variable> v) { do something }
              ^ so that I can do this ... instead of checking the type in function like: 

void evaluate(Synonym s, Synonym v) {
    assert(s.type == Statement);
    assert(v.type == Variable);

    // also would like to eliminate things like: (if possible)
    switch(s.type) {
        case XXX: doSomething ... 
        case YYY: doAnotherThing ...
    }
}
4

2 回答 2

0

我认为使用变体和访问者模式会很合适。在此处查看 Boost.Variant:http: //www.boost.org/doc/libs/1_51_0/doc/html/variant.html,最后一个示例(也在下方但已扩展)显示了访问者实现。还有其他变体和访问者实现。std::any 和 loki 也是选项。我个人喜欢 loki,但这可能只是因为我是 Alexandrescu 的忠实粉丝。

#include "boost/variant.hpp"
#include <iostream>

class ToLengthVisitor : public boost::static_visitor<int>
{
public:
    int operator()(int i) const
    {
        return i;
    }

    int operator()(const std::string & str) const
    {
        return str.length();
    }

    int operator()(const char * str) const
    {
        const char * temp = str;
        while(*temp != '\0') temp++;
        return temp-str;
    }
};

int main()
{
    typedef boost::variant< int, std::string, const char * > MyVariant;
    MyVariant u(std::string("hello world"));
    std::cout << u; // output: hello world

    MyVariant cu(boost::get<std::string>(u).c_str());

    int result = boost::apply_visitor( ToLengthVisitor(), u );
    std::cout << result; // output: 11 (i.e., length of "hello world")
    result = boost::apply_visitor( ToLengthVisitor(), cu );
    std::cout << result; // output: 11 (i.e., length of "hello world")
}
于 2013-02-21T14:37:19.177 回答
0

您可以创建一个函数模板,然后专门研究该模板

template<typename Type>
void evaluate (Type t) {}

template<>
void evaluate<Statement>( Statement s)
{}

这样,当您传递 aStatement时,它将选择该重载,并且您可以根据类型执行不同的行为。

于 2013-02-21T14:15:16.627 回答