7

我想让我的类中的变异器（设置器）返回this以允许像 jQuery 一样a.name("something").address("somethingelse"); 我有一个父类（Entity）和几个子类（ Client, Agent etc.）。大多数事物的修改器是从Entity类继承的（如名称或地址），但它们返回一个Entity对象，所以我不能在它们上调用客户端修改器。

换句话说：

// name mutator
Entity& Entity::name( const string& name ) {
    // [...] checks
    _name = name;
    return *this;
}

// budgetRange mutator
Client& Client::budgetRange( const long int& range ) {
    // [...] checks
    _budgetRange = range;
    return *this;   
}

然后当我调用它时：

Client a; a.name("UserName123").budgetRange(50);

编译器（逻辑上）说，Entity 对象没有budgetRange 成员（因为name 返回的是Entity，而不是Client）。

我现在的问题是：我怎么能实现这样的东西？我考虑过重载子类中的所有实体函数，但这不会很好，而且会违背继承的想法:)

提前感谢您的想法：D

4

3 回答 3

8

您应该使用CRTP。

template<class Derived>
class Entity
{
    Derived* This() { return static_cast<Derived*>(this); }

public:
    Derived& name(const string& name)
    {
        ...
        return *This();
    }
};

class Client : public Entity<Client>
{
public:
    Client& budgetRange(const long& range)
    {
        ...    
        return *this;   
    }
};

如果要使用虚函数，还可以添加抽象基类，如下所示：

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

     virtual ~AbstractEntity();
};

template<class Derived>
class Entity : AbstractEntity
{...};
于 2011-12-20T13:17:00.713 回答
3

“奇怪的递归模板”模式在这里可以提供帮助；使基类成为模板，由派生类参数化，遵循以下原则：

template <typename Derived>
struct Entity {
    Derived & name(std::string const & name) {
        // stuff
        return static_cast<Derived&>(*this);
    }
};

struct Client : Entity<Client> {
    Client & budget(long range) {
        // stuff
        return *this;
    }
};

Client().name("Mike").budget(50); // should compile

仅当您的所有类型都直接继承自Entity. 如果您需要类型是多态的（即全部共享一个公共基类），那么您需要添加另一个非模板基类，并从中Entity继承。

于 2011-12-20T13:17:00.427 回答
3

现在几乎所有内容都已经说了，我想添加一个答案，允许人们在多个继承级别上使用 CRTP：

当想要从 继承时，上面的 CRTP 实现会中断Client，因为Derived 将引用Client. 如果您希望能够使用 CRTP 模式在多个继承级别上携带命名参数惯用语，则需要像这样编写类

template<class Derived>
class Entity_T
{
protected:
    Derived* This() { return static_cast<Derived*>(this); }
public:
    Derived& name(const string& name)
    {
        ...
        return *This();
    }
};

template<class Derived>
class Client_T : public Entity_T<Derived>
{
    Derived& budgetRange(const long& range)
    {
        ...    
        return *This();   
    }
};

为用户提供无模板版本的Client_Tadd

class Client : public Client_T<Client> {};

这是否值得扩大代码库完全取决于您。请注意，我还没有编译上面的代码。

于 2011-12-20T13:57:07.427 回答