Question

std::result_of在编译时计算调用表达式的返回类型。

正如the reference所说，如果调用格式不正确，std::result_of的即时消息会导致编译错误。但是假设我们需要的是在获得结果类型之前检查调用是否格式良好。

有没有办法写一个检查调用表达式是否格式正确的特征？

类似的东西：

template<typename F , typename... ARGS>
struct is_valid_call : public impl::is_valid_call<F,typelist<ARGS...>>
{};

namespace impl
{
    struct sfinae_result{};

    template<typename F , typename ARGS , typename ENABLED = sfinae_result>
    struct is_valid_call;

    template<typename F , typename... ARGS>
    struct is_valid_call<F,typelist<ARGS...>,
                         decltype( std::declval<F>()(std::declval<ARGS>()...) )
                        > : 
        public std::true_type
    {};

    template<typename F , typename... ARGS>
    struct is_valid_call<F,typelist<ARGS...>,sfinae_result> : 
        public std::false_type
    {};
}

编辑：当然解决方案已发布doesn't work

Answer 1

这是有用的：

#include <type_traits>
#include <utility>

template<typename F, typename... Args>
struct is_valid_call {
private:
    template<typename FF, typename... AA>
    static constexpr auto check(int) ->
    decltype( std::declval<FF>()(std::declval<AA>()...), std::true_type());

    template<typename FF, typename... AA>
    static constexpr std::false_type check(...);
public:
    static constexpr bool value = decltype(check<F, Args...>(0)){};
};

#include <cstdio>

int main()
{
   printf("%d", int (is_valid_call<decltype(&puts), const char*>::value));
   printf("%d", int (is_valid_call<decltype(&puts), double>::value));
}

输出：10

检查函数调用表达式的正确性

1 个答案: