void\u t在Visual Studio 2015上失败

Question

我不明白为什么Visual Studio 2015（静态_断言触发器）的以下测试总是失败：

#include <type_traits>
using namespace std;

template<class T> using try_assign = decltype(declval<T&>() = declval<T const&>());
template<class, class = void> struct my_is_copy_assignable : false_type {};
template<class T> struct my_is_copy_assignable<T, void_t<try_assign<T>>> : true_type {};

int main()
{
    static_assert(my_is_copy_assignable<int>::value, "fail");
    return 0;
}

这基本上是沃尔特·布朗从他的cppcon 2014演讲“现代模板元编程——简编”中void_t的示例用法的转录。

需要注意的是，这个替代版本可以工作，所以我认为问题不在于MSVC对表达式SFINAE的不完整支持。

template<class T>
using try_assign = decltype(declval<T&>() = declval<T const&>());

template<class T>
struct my_is_copy_assignable
{
  template<class Q, class = try_assign<Q>>
  static true_type tester(Q&&);
  static false_type tester(...);
  using type = decltype(tester(declval<T>()));
};

我知道std：：is_copy_assignable，但我只是想更好地理解C的不同版本中可用的各种元编程技术。我在网上读了几篇关于void\t的文章，但我仍然不明白为什么这个例子失败了。

有趣的是，GCC4.8.2运行良好（使用CWG1558解决方案，这与微软的版本相同）。

这是一个已知的VisualStudio bug，还是我做错了什么？

Answer 1

这看起来确实像是VC中的SFINAE问题。目前还不支持在类模板的部分专门化的模板参数中使用依赖的decltype。它应该在VS 2015更新1中起作用。

Answer 2

Walter E. Brown在CppCon 2014上还提到了以下因式分解，它允许用任意条件替换try_assign。

#include <type_traits>
#include <utility>

template<class T>
using try_assign = decltype(std::declval<T&>() = std::declval <T const &>());

template<class T, template<class> class Op, class = void>
struct is_valid : std::false_type { };

template<class T, template<class> class Op>
struct is_valid<T, Op, std::void_t<Op<T>>> : std::true_type { };

template<class T>
using is_copy_assignable = is_valid<T, try_assign>;

int main()
{
    static_assert(is_copy_assignable<int>::value, "fail");
    return 0;
}

这一因子分解在VS 2015中编译为OK。现在删除是否复制\u可分配并替换为是否有效。您最终得到的代码是您提供的但未编译的代码（VS 2015）。

这表明VS 2015中存在缺陷，与CWG 1558无关。在CWG问题中，该标准不清楚别名模板专门化中未使用的参数是否会导致替换失败或被忽略。