c++ - 重载运算符中具有静态函数的模板与具有非静态函数的对象

Question

哪种方法更好，为什么？

template<typename T>
struct assistant {
    T sum(const T& x, const T& y) const { ... }
};

template<typename T>
T operator+ (const T& x, const T& y) {
    assistant<T> t;
    return t.sum(x, y); 
}

或者

template<typename T>
struct assistant {
    static T sum(const T& x, const T& y) { ... }
};

template<typename T>
T operator+ (const T& x, const T& y) {
    return assistant<T>::sum(x, y); 
}

再解释一下:assistant 没有状态，它只提供几个实用函数，稍后我可以定义它的模板特化，以实现某些类型的不同行为 T.

我认为对于更高的优化级别，这两种方法不会导致不同的字节码，因为无论如何 assistant 都会优化“离开”...

谢谢!

Answer 1

这通常不是运行时性能的问题，而是可读性的问题。前一个版本向潜在的维护者传达了执行某种形式的对象初始化的信息。后者使意图更加清晰，应该(在我看来)是首选。

顺便说一下，您创建的基本上是一个特征类。看看how traits are done in the standard library (他们使用静态成员函数)。