Question

我正在尝试在c ++ 11（msvc2013）中编写一个类型特征，这将允许我检查函数类型是否需要某些参数。我不希望它检查返回类型。我认为这个想法基本上等同于std::is_callable，但除了如何真正解决问题之外，我有兴趣知道我的方法有什么问题。

我的实施：

namespace traits
{
    namespace detail
    {
        template <typename T>
        struct is_write_function_impl
        {
            const char* c = nullptr;
            size_t l = 0;

            template<typename U>
            static auto test(U*)->decltype(declval<U>()(c, l), std::true_type);
            template<typename U>
            static auto test(...)->std::false_type;

            using type = decltype(test<T>(0));
        };
    }

    template <typename T>
    struct is_write_function : detail::is_write_function_impl<T>::type {};
}

我的测试用例：

std::ofstream os;
auto valid = std::bind(&std::ofstream::write, &os, 
    std::placeholders::_1, std::placeholders::_2);

// want this to be 'true' but get 'false'
std::cout << traits::is_write_function<decltype(valid)>::value;

Answer 1

有很多问题，可以通过更好的编译器来检测;）但是如果你修复它们，你的代码将适用于VS 2013（使用12.0.31101.00 Update 4测试）：

static auto test(U*)->decltype(declval<U>()(c, l), std::true_type);
                               #1           #2     #3

这应该是std::declval。
即使在非推断的上下文中，您也无法在static成员函数的声明中引用非static数据成员。这应该是(std::declval<char const*>(), std::declval<std::size_t>())。
std::true_type是一种类型，decltype是表达式上下文。写std::true_type{}。

Example

trait to check函数接受某些参数但不接受返回类型

1 个答案: