草庐IT

If-Modified

全部标签

C++ 模板实例化取决于 if 子句

目前我在做:if(dimension==2){typedefitk::ImageImageType;typedefitk::ImageIntegralImageType;m_pApp->train();}else{typedefitk::ImageImageType;typedefitk::ImageIntegralImageType;m_pApp->train();}但我想做的是:if(dimension==2)DIMENSION=2;elseDIMENSION=3;typedefitk::ImageImageType;typedefitk::ImageIntegralImageTy

c++ - `if constexpr`可以用来声明不同类型和init-expr的变量吗

例如:voidfoo(){ifconstexpr(...)intx=5;elsedoublex=10.0;bar(x);//callsdifferentoverloadsofbarwithdifferentvalues}这在D语言中很常见,但我没有找到有关C++17的信息。当然也可以用类似的东西std::conditional::typex;但仅限于基本情况。即使是不同的初始化程序(如上)也会造成大问题。 最佳答案 此代码无法运行。问题是当您调用bar时x超出范围。但有一个解决方法:constexprautot=[]()->auto

用于非类型模板参数的 c++ enable_if

我对部分模板特化有点困惑...我有一些代码依赖于算术数据类型T和小整数DIM。我希望能够为不同的DIM值指定不同的类方法。使用部分模板特化的不可能让我探索enable_if。这正是我所需要的……除了我希望它返回一个数字而不是一个类型。我怎样才能做到这一点?下面的代码应该说明我想要什么。#include#include#includetemplateclassfoo{public:Tfunction();};templateTfoo::value>::function(){//dosomethingreturn1.0;}templateTfoo::value>::function(){/

c++ - 如何将 enable_if 用于互斥的非成员函数模板?

我正在尝试编写非成员运算符函数模板,例如:#includetemplateclassMyType;templateautooperator==(MyTypeconst&l,MyTypeconst&r)->decltype(std::declval()==std::declval()){/*...*/}但是当我尝试处理l和r的长度不同时:template::type>autooperator==(MyTypeconst&l,MyTypeconst&r)->decltype(std::declval()==std::declval()){/*...*/}templateLu)>::type

c++ - 迭代器或指针的 std::enable_if 或 SFINAE

我想为MyClass编写一个带有参数的构造函数,并且我希望仅当参数是一个pointer或iterator(具有iterator_traits的东西)。如何实现? 最佳答案 遗憾的是,没有标准的方法来检测类是否为Iterator模型。最简单的检查是*it和++it在语法上都是有效的;您可以使用标准SFINAE技术执行此操作:template(),void(),++std::declval(),void())>MyClass(T);考虑到24.2.2:2中的Iterator要求:templatetypenamestd::enable_i

c++ - enable_if 有条件地包含成员函数

我有一个模板类,它的类型是迭代器。我想根据模板参数的iterator_category启用/禁用特定成员函数。特别是,我想启用operator--如果模板参数是双向迭代器。我的尝试是这样的:typenamestd::enable_if::value,MyType&>::typeoperator--(){//doworkreturn*this;}Clang告诉我(大致):error:notypenamed'type'in'std::__1::enable_if';'enable_if'cannotbeusedtodisablethisdeclaration有没有办法完成我正在尝试的事情?

c++ - 在 if-else if 链中使用 Likely()/Unlikely() 预处理器宏

如果我有:#definelikely(x)__builtin_expect((x),1)#defineunlikely(x)__builtin_expect((x),0)if(A)returntrue;elseif(B)returnfalse;...elseif(Z)returntrue;else//thiswillneverreallyhappen!!!!raiseError();returnfalse;我能否像elseif(likely(Z))一样将likely()放在最后一个条件检查周围,以表示在编译器不影响分支预测的情况下最终语句(else)的可能性很小之前的检查?基本上,如果

c++ - 是否可以将 'enable_if' 和 'is_same' 与可变函数模板一起使用?

这两个非可变函数模板编译:templatetypenamestd::enable_if::value,void>::typetestFunction(Ta,Ub){std::couttypenamestd::enable_if::value,void>::typetestFunction(Ta,Ub){std::cout但是,类似的可变参数模板无法编译:templatetypenamestd::enable_if::value,void>::typetestFunction(Ta,U...bs){std::couttypenamestd::enable_if::value,void>:

c++ - 如何在转换运算符中使用 std::enable_if?

基本上我希望我的范围类型可以从Range隐式转换至Range.std::enable_if似乎是不可能的,因为该函数不带任何参数并且没有返回值。解决办法是什么?这基本上是我尝试过的:templateclassRange{T*begin_;T*end_;public:Range(T*begin,T*end):begin_{begin},end_{end}{}templateRange(T(&a)[N]):begin_{static_cast(&a[0])},end_{static_cast(&a[N-1])}{}T*Begin(){returnbegin_;}T*End(){return

c++ - 如何根据模板类型使用 std::enable_if 来启用或禁用构造函数?

我有以下模板化对象:templatestructresult{//Iwanttoenablethesetwoconstructorsonlyiftype_1!=type_2result(type_1f):foo{f}{}result(type_2b):bar{b}{}//Iwanttoenablethisconstructoronlyiftype_1==type_2result(type_1f,type_2b):foo{f},bar{b}{}//Othermemberfunctionsremoved.type_1foo;type_2bar;};如何使用std::enable_if根据需