有了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)这种方式行不通。有什么办法可以做到这一点？
使用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))>
您可以std::declval为此使用：
decltype(std::declval<A>()+std::declval<B>))
你需要/想要std::declval：
decltype(std::declval<ValueType>()+std::declval<CompatibleType>());
std::declval有效，但隐藏在...中的更简单的答案——真正的元素访问！
假设您的Matrix类具有at类似的功能std::vector，您可以编写
template<typename M>
auto operator+(M const & other)
-> Matrix<decltype(this->at(0,0) + other.at(0,0))>
否则，请替换为在正文中用于访问各个元素at的正确函数名称。operator+
这具有进一步的优势，它适用于提供所需访问器功能的任何参数，它根本other不必是另一个Matrix<T>。这就是所谓的鸭子类型，这就是为什么你应该使用你的函数体实际使用的同一个访问器函数。