类模板SFINAE

文章/答案/技术大牛

发布

3回答

SFINAE删除副本构造函数

c++、templates、copy-constructor、sfinae、overload-resolution

在某些情况下，我希望SFINAE去掉类模板的复制构造函数和复制赋值操作符。但是，如果这样做，就会生成一个默认的复制构造函数和一个默认赋值操作符。SFINAE是基于我作为类模板参数传递的标记完成的。问题是，SFINAE只在模板上工作，而复制构造函数/赋值运算符不能是模板。有解决办法吗？

浏览 7提问于2015-04-03得票数 16

回答已采纳

1回答

执行SFINAE练习时出现编译错误

c++、templates、overloading、sfinae

我有一个关于SFINAE的问题，我遇到了一个意外的编译错误：)这是我的代码: sfinae.h：#include <type_traits> }ORDER_ROUTER order_router;下面是sfinae.cpp： #include "sfinae.h&qu

浏览 0提问于2018-08-21得票数 0

2回答

c++、templates、c++17、sfinae

我正在测试类模板SFINAE。

浏览 10提问于2020-04-24得票数 1

4回答

我可以使用SFINAE来检测模板类成员函数吗？

c++、templates、sfinae

我多次成功地使用SFINAE。要检测一个类是否提供了一个函数，这不是一个问题。我目前的问题似乎与相反！与还检测派生方法不同，我更愿意只检测类的方法。这似乎与方法是模板这一事实有关。是否有可能检测到类模板方法？我试着用一种类型实例化模板，这种类型不应该有害，但是没有运气。char(&YesType)[1]; template< class U, void (U::*)( int )

浏览 5提问于2013-08-06得票数 2

1回答

在没有SFINAE的情况下启用类方法

c++、metaprogramming、c++14

我正在寻找一种方法来启用类方法，而不是SFINAE，可能是通过继承。(带有operator()的函子类)限定符(const，volatile)依赖于它的模板参数，例如： template<typename R = ReturnType> auto operat

浏览 2提问于2015-08-19得票数 4

回答已采纳

1回答

如何在子类中使用SFINAE

c++、templates、inheritance、template-meta-programming、sfinae

我有一个非模板的父界面，并试图在子类上使用SFINAE。我要做的就是验证第一个模板参数的类型可以在没有任何参数的情况下构建。我的问题在前面的宣言中。根据我的理解，SFINAE要求一个类被转发，声明，然后专门化。Ty, std::enable_if_t<std::is_constructible_v<Ty>>>{}; 我所能找到的与此相关的答案与继承SFINAE类有关。

浏览 0提问于2020-02-06得票数 0

回答已采纳

2回答

C++ GCC为什么这段代码可以用GCC 4.7编译，而不能用4.8编译？

c++、gcc、c++11、sfinae

我喜欢在模板类中使用本地类来执行像“静态if”这样的构造。但是我遇到了gcc 4.8不想编译我的代码的问题。然而，4.7确实如此。任务：我经常使用这样的结构

浏览 3提问于2013-03-17得票数 6

2回答

如何要求模板参数是特定模板类的专门化？

c++、templates、variadic-templates、template-specialization、c++-concepts

我想定义一个模板类MyClass，其中模板参数必须是特定模板类的专门化。在本例中，我希望MyClass是一个模板类，它的第一个模板参数接受A的专门化，第二个模板参数接受B的专门化。然后，我可以实例化这个类如下：现在，您可能会说，“只需将A和B的参数作为MyClass的模板参数”。不幸的是

浏览 6提问于2021-07-04得票数 0

1回答

如何强制实例化类模板的成员函数？

c++、c++11、templates、sfinae

我最近发现，类模板的成员函数在使用之前不会被实例化，这非常恼人，因为它会使某些SFINAE构造无法工作。我想知道如何确保类模板专门化的成员函数总是在类被实例化时立即被实例化--但只使用类模板定义中的语句，这样如果成员函数不能被实例化，SFINAE就会生效，编译器就会退回到一般的类模板。

浏览 2提问于2018-12-18得票数 0

1回答

c++11 enable_if错误-模板参数重声明

c++、templates、c++11、stl、enable-if

as 'typename std::enable_if<std::is_fundamental::value, int>::type <anonymous>' 这里的目的是选择Calc的版本，如果传递的模板参数是类，则该版本将覆盖基类函数调用操作符。如果传递的参数是基本类型，则选择不覆盖基类功能的Calc版本。你能帮我理解一下我是怎么做到这一点的吗？

浏览 1提问于2016-06-30得票数 1

回答已采纳

1回答

继承类模板SFINAE

c++、templates、inheritance、sfinae

下面的s1类模板专门化只允许在使用整型模板参数时实例化s1。struct s1; struct s1<T, std::enable_if_t<std::is_integral<T>::value>> { }; 下面的类模板s2类似；尽管它有条件地从一个普通的基类继承私有。

浏览 0提问于2017-11-13得票数 0

回答已采纳

1回答

C++ -专门化具有非类型模板参数的模板类上的函数模板

c++、templates、template-specialization、specialization

我有一个类模板Foo：class Foo {};template <class

浏览 7提问于2017-11-25得票数 0

回答已采纳

2回答

使用SFINAE根据类模板参数的类型更改类中调用的函数

c++、templates、c++11、sfinae

我有一个模板化的类，既可以接受标量类型，也可以接受索引类型，并且我希望根据函数的类型调用不同版本的函数： template <typename Ta, typename ...返回值SFINAE不起作用(因为这个函数上没有模板参数)，基于类的SFINAE似乎不起作用(因为可变模板使得在末尾有一个虚拟模板参数不起作用)。还有其他想法吗？

浏览 2提问于2013-03-12得票数 1

回答已采纳

2回答

为什么不允许具有不同数量的模板参数的类/结构声明？

c++、templates、sfinae

class T2>class A {}; A<int> b; 错误C2976：'A‘：模板参数太少在“A”类的第二部分。

浏览 5提问于2015-05-26得票数 3

回答已采纳

2回答

与SFINAE检查

c++、templates、friend、sfinae、friend-function

我在尝试使用sfinae检查做朋友声明时遇到了一些麻烦(如果您不需要解释“为什么”和“如何”，就可以跳进代码示例)。因此，如果我不希望编译失败，则无法实例化无法使用的私有函数。因此，我必须通过一个sfinae检查(一个独立的函数)调用它。我不想改变的事情:A类的原型(f1和f2必须保持私有)，类B1和B2的原型。我理解为什么评论中的内容失败(或者我认为我会)，但我不知道

浏览 3提问于2018-10-11得票数 2

回答已采纳

1回答

boolalpha << true << endl;}; S<int> s; return(0);对于作为非模板函数实现的方法type()，我获得了成功的编译和输出；但是，对于使用std::enable_if实现为模板函数的同一方法，我得到以下编译错误： so_main.cpp:23:11: error: no matching当该方法为非模板时，T的类型被证实为int.但是，当std::enable_if用于在相同

浏览 1提问于2018-04-09得票数 1

回答已采纳

1回答

再谈enable_if_t中的C++ SFINAE

c++、templates、template-meta-programming、sfinae

我想知道为什么SFINAE不能直接使用模板参数初始化？当我在这里声明另一个模板参数时，它以这种形式工作：class enable_if {};return 12;}; Y< double > y;} “类成员不能被重新声明”我

浏览 2提问于2018-12-03得票数 0

1回答

不使用模板类成员函数的SFINAE

c++、sfinae

我有一个模板类，如果该类型满足某些条件，我希望删除一个成员函数，据我所知，这应该是SFINAE的一个非常基本的用法，例如：class Apublic:is_floating_point<T>::value>::type> return 1.23;}; 然而，这是一个错误的结果“没有类型命名‘类型’”，如SFINAE但是，如果foo是一个函数，而不是类的成员，这是可行的

浏览 2提问于2022-02-08得票数 0

回答已采纳

1回答

如何在可能使用SFINAE的类型中检查字段的存在？

c++、linux、gcc、c++11

我有一个叫做“特征”的结构，它是T型模板，“特征”有一个叫做“大小”的字段。当T实际上有一个名为Size的字段时，代码就会编译，一切都会正常工作。它显然没有Size字段，而且代码无法编译struct Traits static const size_t Size = T::Size;我试着用SFINAE

浏览 3提问于2014-08-11得票数 4

回答已采纳

1回答