C++检测习惯用法在 Visual Studio 2015 Update 2 CTP 中无法按预期工作

The C++ detection idiom is not working as expected in Visual Studio 2015 Update 2 CTP

本文关键字：CTP 工作 Update 惯用法 习惯 检测 Visual 2015 Studio C++      更新时间：2023-10-16

我正在尝试对C++检测习惯用法的标准库支持的建议，并使用 x64 的 Microsoft C/C++ 优化编译器版本 19.00.23725 编译了以下代码：

#include <iostream>

template<class...>
using void_t = void;
template<class, template<class> class, class = void_t<>>
struct detect : std::false_type { };
template<class T, template<class> class Operation>
struct detect<T, Operation, void_t<Operation<T>>> : std::true_type { };

template<class T>
using bar_t = decltype(std::declval<T>().bar());
template<class T>
using bar_int_t = decltype(std::declval<T>().bar(0));
template<class T>
using bar_string_t = decltype(std::declval<T>().bar(""));

struct foo
{
    int bar() { return 0; }
    int bar(int) { return 0; }
};

int main()
{
    std::cout << detect<foo, bar_t>{} << std::endl;
    std::cout << detect<foo, bar_int_t>{} << std::endl;
    std::cout << detect<foo, bar_string_t>{} << std::endl;
    return 0;
}

预期输出为

1
1
0

但它是

1
1
1

出了什么问题？我做了一个现场演示（使用完全相同的代码），其中输出符合预期。

Visual C++对表达式 SFINAE 的支持有限，但是，我认为它应该适用于函数返回类型。因此，您可以尝试以下实现：

#include <type_traits>
template <typename...>
using void_t = void;
template <typename, template <typename> class>
auto detect_impl(char) -> std::false_type;
template <typename T, template <typename> class Operation>
auto detect_impl(int) -> decltype(void_t<Operation<T>>(), std::true_type{});
template <typename T, template <typename> class Operation>
using detect = decltype(detect_impl<T, Operation>(0));

（在 http://webcompiler.cloudapp.net/测试）

相关文章：