替换失败不是错误。这是一种C ++编程技术,允许模板验证有关其模板参数的属性,从而允许在某些类型的对象可用时使用不同的特化。
c ++使用std :: enable_if有条件地将吸气剂添加到可变参数变体模板中
我正在尝试为变体以int,float,bool等为模板参数的情况添加特殊化。到目前为止,我的尝试是:#include #include
虚拟模板参数中的SFINAE和std :: enable_if以基于两个条件选择结构
让我们说,要用part 调用模板化的结构部件,其中D是U型的:template struct part {};我们有两种情况:U是无符号类型,D%(...
我无法理解为什么以下代码无法编译。该代码段包含两个运算符和重载,一个重载用于库标头中的一些可自定义的枚举类,另一个重载于某些...
在C ++ 17中,我试图通过检查value_type(mapped_type)的存在来检测容器(地图)。但是,尽管它似乎适用于unordered_set ,但不适用于unordered_set ] 保持测试,应该这样 template<class N, class Enabler = void> struct is_container { static const bool value = false; }; template<class N> struct is_container<N, std::void_t<typename N::value_type>> { static const bool value = true; }; template<class N> static constexpr bool is_container_v = is_container<remove_reference_t<N>>::value;
我正在ubuntu上同时使用g ++ 7.5.0和clang 6.0.0来根据对象的方法存在尝试自动分派函数调用的SFINAE函数,并且结果与预期不符。 ...
我有可以简化为以下代码的代码:#include template 结构依赖{使用type = typename T :: type; };模板
我如何使用SFINAE来区分MyMap,std :: map和std :: unordered_map?
我想制作一个可以使用任何地图实现的结构。我们称之为MapHolder。当前,它看起来像这样:template class MapType> struct ...
我有一个定义为跟随模板的类模板 class A {T t_; // void f(); };我的问题是,仅当类型T为整数而不进行编译时如何添加f()方法...
目标是创建一个(宏?),当将其放置在类函数中时,它将在每个类实例(例如,this指针)上打印一个唯一的标识符,而在...时则不打印(或其他任何东西)] >
我正在尝试了解std :: enable_if,cppreference.com上有一个示例,它比函数重载有什么好处?结构T {枚举{int_t,float_t} m_type; ...
我正在寻找以下问题的解决方案:#include 类A {公共:模板 静态类型名std :: enable_if :: ... ] ] >> < [
struct BLA {}; template class DUMMY {public:DUMMY()=默认值; template void someFunction(){std :: cout << ...
基于这个问题,如果定义了具有特定签名的函数/运算符/方法,我们如何检测(在编译时?)?从链接的问题并查看有关std :: void_t的cppreference,我们...
试图向SFINAE说再见。是否可以使用概念区分函数,所以编译器可以根据发送的参数是否满足概念来匹配正确的函数...
我试图理解enable_if,cppreference.com上有一个示例,这种使用比函数重载有什么好处?下面的代码部分正在做同样的事情。结构T {枚举{...
[C ++ 17测试数据成员SFINAE:gcc与clang
我有一个简单的代码片段,我正在尝试测试数据成员:#include template 使用is_data_member = std :: bool_constant ] >
如果两者都可行,编译器如何在使用SFINAE的函数和标准函数之间进行确定?
请考虑以下代码:#include #include template class A {public://如果T是T2的const版本,则允许调用func // ...
decltype(1,t)应该是左值参考吗? (编译器不同意)
最小代码:int t; static_assert(is_same_v );上面的代码在g ++和clang ++中编译,但在MSVC中失败。 MSVC似乎在想:int t; static_assert(is_same_v ] >>>> Gcc和Clang是正确的。 1, t是comma expression, 逗号表达式结果的类型,值和值类别恰好是第二个操作数E2的类型,值和值类别。 第二个操作数,即t是一个左值,那么decltype将得出decltype。 如果表达式的值类别为左值,则decltype产生T&; 根据标准,T&: (重点是我的) 结果的类型和值就是右边的类型和值操作数结果与它的权利属于同一值类别操作数 , 和[expr.comma]/1 否则,如果[dcl.type.decltype]/1.5是左值,则e是decltype(e),其中T&是类型的T;
如果第二个模板实例化,如何防止下面的第一个模板实例化? (即是否同时定义了static_cast (0)和T :: zero())template auto ...
std :: is_copy_constructable for std :: vector
我最近阅读了这篇博客文章,介绍了为什么必须无条件地复制vector以便可以支持不完整的类型。我了解从逻辑角度来看也是必须的,因为...