将调用链接到 C++ 中的临时变量

Question

我有一个对字符串进行转换的类，就像这样

class transer{
    transer * parent;
protected:
    virtual string inner(const string & s) = 0;
public:
    string trans(const string & s) {
        if (parent) 
            return parent->trans(inner(s));
        else 
            return inner(s);
    }
    transer(transer * p) : parent(p) {}

    template <class T>
    T create() { return T(this); }
    template <class T, class A1>   // no variadic templates for me
    T create(A1 && a1) { return T(this, std::forward(a1)); }
};

我可以创建一个子类

class add_count : public transer{
    int count;
    add_count& operator=(const add_count &);
protected:
    virtual string inner(const string & s) { 
        return std::to_string((long long)count++) + s; 
    }
public:
    add_count(transer * p = 0) : transer(p), count(0) {}
};

然后我可以使用转换：

void use_transformation(transer & t){
    t.trans("string1");
    t.trans("string2");
}
void use_transformation(transer && t){
    use_trasnformation(t);
}

use_transformation(add_count().create<add_count>());

是否有更好的设计？如果可以的话，我想避免使用动态分配/shared_ptr，但我不确定临时对象是否会在整个调用过程中保持活动状态。我还希望能够让每个 Transer 在销毁期间能够与其父级通信，因此临时对象也需要按正确的顺序销毁。创建链式转换并将其保存以供以后使用也很困难，因为

sometrans t = add_count().create<trans1>().create<trans2>().create<trans3>();

会保存指向不再存在的临时变量的指针。做类似的事情

trans1 t1;
trans2 t2(&t1);
trans3 t3(&t2);

很安全，但很烦人。有没有更好的方法来进行此类连锁操作？

Answer 1

临时变量将在完整表达式结束时被销毁
与它们的构造顺序相反。小心后者，
但是，由于无法保证顺序
评估。 （当然，直接依赖除外：如果你
需要一个临时的来创建下一个——如果我已经
如果理解正确，那就是你的情况——那么你就安全了。）

Answer 2

如果您不想动态分配，则可以将操作的数据传递给启动链的函数，或者您需要一个根类型来保存它（除非您想要过度复制）。示例（可能无法编译）：

struct fooRef;  
struct foo  
{  
fooRef create() { return fooRef( m_Val ); }  
   foo& operator=( const fooRef& a_Other );  
   std::string m_Val;  
}  
struct fooRef  
{  
   fooRef( std::string& a_Val ) : m_Val( a_Val ) {}  
   fooRef create() { return fooRef( m_Val ); }  
   std::string& m_Val;  
}  
foo& foo::operator=( const fooRef& a_Other ) { m_Val = a_Other.m_Val; }  
foo startChain()  
{  
    return foo();  
}  
foo expr = startChain().create().create(); // etc

首先，字符串位于从 startChain() 创建的临时 foo 上，所有链式操作都对该源数据进行操作。然后赋值最后将值复制到指定的 var 中。您几乎可以保证 startChain() 上的 RVO。