下面的代码可以很好地编译gcc和clang (使用-std=c++20的主干)但是msvc上的错误(19.27 /std:c++latest)。auto x, subable auto y) {}
const auto z = sub(4, 5);上面的代码在C++20中应该是有效的,它是在概念-ts中。这是微软落后于其他实现的情况吗?(毕竟C++20还没有发布)或者说这还没有达到20呢?
是否有限制非模板化方法的语法?我尝试过的所有语法都是用clang概念分支和gcc编写的:struct X requiresstruct Y requires (std::is_trivially_copyable_v<T>)};
让它编译的诀窍是与SFINAE一样的技巧,使方法模板,即使它们实际上不是模板。有趣的是