c++ - 如何使用decltype判断加法结果

Question

使用 decltype 我可以执行以下操作:

template <typename T1, typename T2>
auto sum(T1 const & t1, T2 const & T2)
-> decltype(t1+t2)
{ /* ... */ }

但是，在我的例子中，我需要在没有 T1 和 T2 类型实例的情况下找出加法的类型。具体来说:

template <typename ValueType>
class Matrix
{
    /* ... */
    public:
        template <typename CompatibleType>
        auto operator+(Matrix<CompatibleType> const & other)
        -> Matrix<decltype(ValueType+CompatibleType)>
        { /* ... */ }
};

当然，decltype(ValueType+CompatibleType) 不是这样工作的。有什么办法可以实现这一目标吗？

Answer 1

使用 std::declval<T>(); (C++11):

#include <utility>

template <typename CompatibleType>
 auto operator+(Matrix<CompatibleType> const & other)
  -> Matrix<decltype(std::declval<ValueType>() + std::declval<CompatibleType>())>
    { /* ... */ }

std::declval返回一个右值引用，并且只在未计算的上下文中工作，decltype恰好是。

如果你的编译器不支持这个标准，使用这个指针技巧(它也只适用于未评估的上下文):

-> Matrix<decltype(*(ValueType*)(0) + *(CompatibleType*)(0))>
// or
-> Matrix<decltype(*static_cast<ValueType*>(0) +
                   *static_cast<CompatibleType*>(0))>