草庐IT

if-cases

全部标签

c++ - `enable_if` 与 `enum` 模板特化问题

我在GCC编译时遇到问题enable_ifs应用于模板类方法的返回值。使用Clang,我可以在enable_if中使用表达式在enum上模板参数,而GCC拒绝编译此代码。这里是问题描述、初始代码及其后续修改,试图让我和编译器满意(不幸的是,不是同时)。我有一个非模板类Logic包含模板化类方法computeThings()它有一个enumStrategy作为其模板参数的之一。computeThings()中的逻辑取决于编译时间Strategy,所以ifconstexpr是一种合理的实现方式。变体1#includeclassLogic{public:enumStrategy{strat_

c++ - "virtual base class in the case of multilevel inheritance"有意义吗

考虑以下显示多级继承的示例代码:案例1:这里类derived1是通过虚拟继承从类base派生的,类derived2是从类派生的直接类derived1。classbase{};classderived1:virtualpublicbase{};classderived2:publicderived1{};Case2:与Case1相同,只是不涉及虚拟继承classbase{};classderived1:publicbase//novirtualinheritance{};classderived2:publicderived1{};假设我在这两种情况下都创建了derived2类的对象。C

c++ - 哪些提升类型用于 switch-case 表达式比较?

以下程序在使用不同的编译器编译时打印“unknown”。为什么会这样?#include"stdio.h"constcharOPTION=(char)(unsignedchar)253;intmain(intargc,char*argv[]){unsignedcharc=253;switch(c){caseOPTION:printf("option\n");break;default:printf("unknown\n");break;}return0;}在查看C++标准(N36902013-05-05)时,我看到了switch的子句:6.4.2Theswitchstatement2Th

c++ - enable_if 的句法模式

我一直以这种近似的方式对各种版本的GCC(最高5.2)使用enable_if:template...>voidfn(){std::cout...>voidfn(){std::cout();fn();但是,事实证明,Clang3.7不接受这一点(“对‘fn’的调用不明确”)。Q1。谁是对的,为什么?当然还有其他方法可以做到,但我有点不喜欢templatestd::enable_if_tfa(){std::cout及其类似的方法使函数签名的正常部分更难阅读,并且template=0>voidfd(){std::cout用于涉及不相关的元素(类型和值)。Q2。还有哪些其他(正确、更易读、更少

c++ - C族语言if语句中2乘2条件的排列

在编程时,我通常会同时处理两组条件,例如:if(A&&B){...}elseif(!A&&B){...}elseif(A&&!B){...}elseif(!A&&!B){...}它也可以使用嵌套的if语句来解决。if(A){if(B){...}else{...}}else{if(B){...}else{...}}编辑:一些新的想法,如果A和B的评估都没有副作用?所以我的问题是它们之间有任何性能差异以及它们的可读性如何?如果重要的话,我会用C++编写代码。 最佳答案 这两种情况并不相同。在第二种情况下,A和B将分别被计算一次。在第一种

c++ - constexpr-if-else 主体能否在 constexpr auto 函数中返回不同类型?

我正在尝试编写一个函数,根据枚举的运行时值将值的枚举映射到一组类型。我意识到您不能根据枚举的运行时值返回不同的类型,因为编译器不知道要分配多少堆栈空间。但是,我正在尝试将其编写为constexpr函数,使用新的if-constexpr功能来实现它。我收到来自clang的错误,提示我使用了非法指定的模板参数。有人知道如何实现吗?编辑:这是一个更容易理解的版本,更简洁地展示了我的问题:http://coliru.stacked-crooked.com/a/2b9fef340bd167a8旧代码:#include#include#includenamespace{enumclassshape

c++ - if constexpr(condition) 作为编译时条件

我想使用constexprbool(下例中的useF)来启用以下代码中的功能。在这里,调用A::f()。此外,我想将别名模板(a)设为void,以防我关闭该功能。我尝试使用constexprif语句,但主体仍在实例化,这导致编译错误。如果我使用包装器模板(X),正文将按照我的预期被丢弃,但这对我来说似乎很难看。还有其他方法吗?constexprbooluseF=false;structA{staticvoidf(){}};usinga=std::conditional::type;templatestructX{staticvoidh(){ifconstexpr(std::is_sam

c++ - "constexpr if"比 switch 语句好吗?

C++17引入了根据编译时条件实例化的“constexprif”。这是否意味着在模板函数中使用“constexprif”比使用switch语句更好?例如:templatevoidfunc(){ifconstexpr(val==0){}elseifconstexpr(val==1){}else...ifconstexpr(val==k){}else{}}//vstemplatevoidfunc(){switch(val){case0:break;case1:break;...casek:break;default:break;}} 最佳答案

c++ - 使用 "if constexpr"和 SFINAE 禁用分支

我想在编译时启用/禁用分支,这取决于是否可以使用某些参数调用函数。ifconstexpr条件必须包含什么?我可以通过std::result_of(decltype(add)(A,B))获取结果类型,但是如何检查结果类型是否有效?(即如何将此信息转换为bool?)constautoadd=[](constautoa,constautob){returna+b;};constautosubtract=[](constautoa,constautob){returna-b;};templatevoidfoo(Aa,Bb){ifconstexpr(/*canadd(a,b)becalled?*

c++ - 复制初始化: why move or copy constructor was not called even if copy-elision is turned off?

我的问题不同,因为我可能“知道”复制省略。我正在学习复制初始化。但是,以下代码让我感到困惑,因为我已经使用-fno-elide-contructors-O0选项关闭了复制省略。#includeusingnamespacestd;classtest{public:test(inta_,intb_):a{a_},b{b_}{}test(consttest&other){cout我首先使用命令构建:g++-std=c++11-fno-elide-constructors-O0main.cpp-omain得到如下结果:**showelideconstructors**moveconstruct