c++ - MSVC - 使用 void_t 进行成员检测无法正常工作

Question

前几天我也遇到过这个问题。

#include <iostream>
#include <type_traits>
using namespace std;

template<typename... Ts> struct make_void { typedef void type; };
template<typename... Ts> using void_t = typename make_void<Ts...>::type;

template <class, class = void>
struct is_func_chrend_ : std::false_type {};

template <class T>
struct is_func_chrend_<T, ::void_t<decltype(std::declval<T>().NextTile())>> : std::true_type {};

template <class = void, class = void>
struct is_addable : std::false_type {};

template <class T>
struct is_addable<T, ::void_t<decltype(std::declval<T>() + std::declval<T>())>> : std::true_type {};

int main() {
    cout << is_addable<int>::value << endl;
    return 0;
}

在 MSVC 中编译时显示 0，在 clang 或 gcc 中编译时显示 1。 完全删除 is_func_chrend_ 会使 is_addable 再次正常工作。

Makeshift void_t 仅用于符合 C++11 的编译器。

Answer 1

MSVC 尚未发布符合 C++11 标准的编译器。

他们剩下的最大问题是在 SFINAE 上下文中使用 decltype。

他们定期改进这种情况，使越来越多的 decltype 案例发挥作用，但并不可靠。

当出现问题时，它的破坏方式通常会产生误报和漏报，并且失败是非局部的，因为您之前使用 SFINAE 表达式的方式可能会改变它下次成功或失败的方式。

您根本无法在 MSVC 中安全地使用基于 decltype 的 SFINAE，除非您仔细解码您的特定版本的 MSVC 可以处理的内容，并且永远不要离开这些界限。我个人发现他们对什么有效、什么无效的描述不够清晰，让我觉得我可以可靠地使用它。