模板化函数参数的延迟评估

Question

我有一个日志记录类,它不能继承std :: ostream,并且运算符<<已定义为与标准输出流相同的类型PLUS模板化版本:

class MyLoggingClass {
[...]
public:
    template<typename T> MyLoggingClass & operator<<( T& data ){ ... }
}

此外,对于我的程序中的每个可打印类,我都定义了典型的非成员函数:

std::ostream & operator << ( std::ostream & os, const OneOfMyClasses & foo );

问题是,在内部,我的记录器有时使用标准输出流,这是:

template<typename T>
MyLoggingClass & operator<<( T& data )
{
    [...]
    if( someCondition )
    {
        cout << data;
    }
    [...]
}

多亏了这一点,我可以记录我的类,而无需在每个类上显式复制非成员运算符<< for MyLoggingClass.问题出现在我尝试记录"动态"创建的对象的行中:

MyLoggingClass logger;
logger << OneOfMyClasses(params); // Here I am invoking the constructor of class "OneOfMyClasses"

问题是,不是调用构造函数,而是将对象作为运算符<<的参数传递,它解释我正在尝试将指针记录到函数.

当然,针对此问题的一些有效解决方案包括:

• 删除模板化运算符<<,并使MyLoggingClass扩展std :: ostream
• 删除模板化运算符<<,并创建大量非成员运算符<<(MyLoggingClass&,const OneOfMyClasses&)
• 存储对象以登录时态变量,然后执行"logger << temporalObject;" 但是,我想知道是否有办法强制编译器评估构造函数调用.你知道这种情况的解决方法吗？

提前谢谢您的时间:)

Answer 1

我认为这是问题所在:

template<typename T> MyLoggingClass & operator<<( T& data ){ ... }

data 是非const引用和行:

logger << OneOfMyClasses(params);

试图将临时绑定到非const引用.

改成:

template<typename T> MyLoggingClass & operator<<(const T& data ){ ... }
                                               //^^^^^