c++ - 为什么 std::gcd/lcm 返回 std::common_type_t 而不是 auto？

Question

来自 cppreference :

template< class M, class N>
constexpr std::common_type_t<M, N> gcd(M m, N n);    (since C++17)

IIUC，返回正确的类型，

template< class M, class N>
constexpr auto gcd(M m, N n);    (since C++17)

自 c++14 起具有相同的效果并且更加优雅。 std::common_type_t 只是 c++11 的变通方法。但是 std::gcd 自 c++17

以来

Answer 1

auto 表示类型应该从实现中推断出来。将 auto 放在文档页面上而没有 实现对任何阅读文档的人都没有帮助。另一方面，std::common_type_t 具有明确定义的行为，可直接链接到该文档页面，使其更有帮助。