Question

namespace detail {
template <class F, class... Args>
inline auto INVOKE(F&& f, Args&&... args) ->
    decltype(std::forward<F>(f)(std::forward<Args>(args)...)) {
      return std::forward<F>(f)(std::forward<Args>(args)...);
}

template <class Base, class T, class Derived>
inline auto INVOKE(T Base::*pmd, Derived&& ref) ->
    decltype(std::forward<Derived>(ref).*pmd) {
      return std::forward<Derived>(ref).*pmd;
}

template <class PMD, class Pointer>
inline auto INVOKE(PMD pmd, Pointer&& ptr) ->
    decltype((*std::forward<Pointer>(ptr)).*pmd) {
      return (*std::forward<Pointer>(ptr)).*pmd;
}

template <class Base, class T, class Derived, class... Args>
inline auto INVOKE(T Base::*pmf, Derived&& ref, Args&&... args) ->
    decltype((std::forward<Derived>(ref).*pmf)(std::forward<Args>(args)...)) {
      return (std::forward<Derived>(ref).*pmf)(std::forward<Args>(args)...);
}

template <class PMF, class Pointer, class... Args>
inline auto INVOKE(PMF pmf, Pointer&& ptr, Args&&... args) ->
    decltype(((*std::forward<Pointer>(ptr)).*pmf)(std::forward<Args>(args)...)) {
      return ((*std::forward<Pointer>(ptr)).*pmf)(std::forward<Args>(args)...);
}
} // namespace detail

template< class F, class... ArgTypes>
decltype(auto) invoke(F&& f, ArgTypes&&... args) {
    return detail::INVOKE(std::forward<F>(f), std::forward<ArgTypes>(args)...);
}

我从这里看到了上面的实现：

http://en.cppreference.com/w/cpp/utility/functional/invoke

然后我想知道编译器如何匹配所需的确切版本。 SFINAE是否适用于尾随返回类型？

Answer 1

SFINAE是否适用于拖尾返回类型？

是。尾部返回类型语法不启用任何新功能，它只是更容易编写一些依赖于参数类型的返回类型的情况。

template <class F, class... Args>
inline auto INVOKE(F&& f, Args&&... args) ->
   decltype(std::forward<F>(f)(std::forward<Args>(args)...) { ... }

可以等同地写成

template <class F, class... Args>
inline decltype(std::forward<F>(std::declval<F&>())(std::forward<Args>(std::declval<Args&>())...))
INVOKE(F&& f, Args&&... args) { ... }

例如，

和其他所有人一样。这可以简化，但即使你简化它，返回类型不能使用与return表达式相同的语法这一事实使得很难跟踪正在发生的事情。因此新的语法。

SFINAE唯一不起作用的是推断的退货类型。他们也使用了auto，但是auto关键字本身并不会禁用SFINAE。

std :: invoke（C ++ 1z）如何工作？

1 个答案: