c++ - `inline` , `constexpr` 或 `noexcept` 仅声明函数

Question

对于没有主体的函数，仅用于类型检查目的或在非评估上下文中，是否有任何冒险将此类函数标记为 inline，noexcept 或 constexpr？例如:

namespace _detail {
   template<class R, class T, class... Params>
   constexpr R result_type(R(T::*)(Params...)) noexcept;

   template<class R, class T, class... Params>
   constexpr R result_type(R(T::*)(Params...) const) noexcept;

   template<class R, class... Params>
   constexpr R result_type(R(*)(Params...)) noexcept;

   template<class R, class... Params>
   constexpr R result_type(R(&)(Params...)) noexcept;
}

template<class F>
struct result_type { typedef decltype(_detail::result_type(declval<F>())) type; }

这些 constexpr 或 noexcept 在任何意义上都意味着什么或有任何影响吗？我猜它甚至可能会产生误导，因为用户可以理解这些函数可能在其他地方有定义。无论如何，是否有任何命名约定来标记这些函数仅用于非评估上下文，或者其目的只是计算类型？

Answer 1

noexcept 肯定会有所不同，因为您可以在未计算的 noexcept 上下文中使用这些函数。

inline 是无关紧要的。只影响实现的联动，没有实现。

constexpr 我认为应该没有区别，因为没有标准的方法来检测未计算的表达式是否为常量表达式。但可能有特定于编译器的方法。