当使用-std=c++11时，以下代码在gcc4.9.1和clang-3.6中编译和运行:structBar{intx;};structFoo{staticconstexprBarbars[]={1,2,3};};constexprBarFoo::bars[];但是在gcc4.8.3中失败，导致报错./cpptest.cpp:14:43:error:couldnotconvert'1'from'int'to'constBar'staticconstexprBarbars[]={1,2,3};^./cpptest.cpp:14:43:error:couldnotconvert'2'fro
在玩godbolt.org时，我注意到gcc(6.2、7.0快照)、clang(3.9)和icc(17)在编译接近inta(int*a,int*b){if(b-a将(-O2/-O3)编译成这样的东西:pushr15movrax,rcxpushr14subrax,rdxpushr13pushr12pushrbppushrbxsubrsp,184movQWORDPTR[rsp],rdxcmprax,7jg.L95notDWORDPTR[rdx].L162:addrsp,184poprbxpoprbppopr12popr13popr14popr15ret在b-amovrax,rcxsubra
现在ifconstexpr是C++17的一部分，在编写平台相关代码和类似代码时，它是否是宏的良好替代品？我想知道，因为我真的不喜欢宏，并且只想将它们用于includeguards和includes。//thosevariablesshouldbegivenbythecompilerconstexprunsignedint__os=0x1;//currentosconstexprunsignedint__os_win=0x1;//Windowsconstexprunsignedint__os_linux=0x2;//Linux-flavorsconstexprunsignedint__o
这个问题在这里已经有了答案:constexprnotworkingifthefunctionisdeclaredinsideclassscope(3个回答)3年前关闭。为什么下面的C++代码不能用VC2017编译？structFixedMatchResults{staticconstexprstd::size_tcount(){return20;};std::arrayresults;};错误是:errorC2975:'_Size':invalidtemplateargumentfor'std::array',expectedcompile-timeconstantexpression
考虑以下两个程序:#include#includeconstexprautof(){usingT=std::variant;Tt(false);t=T(true);returnstd::get(t);}templatevoidprint(){std::cout();}和#include#includeconstexprautof(){usingT=std::variant;Tt(false);t=T(42);returnstd::get(t);}templatevoidprint(){std::cout();}GCC编译这两个并输出预期的结果。在这两种情况下，Clang都不会编译它们中
我想知道是否可以使用constexpr函数(使用C++2011)初始化整个数组。在这里，我有一些东西可以说明我想做什么:templateconstunsignedintMyClass::_myVar[2][3]={{metaFunction(0,0,DIM),metaFunction(0,1,DIM),metaFunction(0,2,DIM)},{metaFunction(1,0,DIM),metaFunction(1,1,DIM),metaFunction(1,2,DIM)}};templateinlineconstexprunsignedintMyClass::metaFunct
似乎将decltype与SFINAEenable_if一起使用并不简单。我尝试以三种不同的方式使用enable_if编写go。所有这些都因编译器错误而失败(GCC的字面意思是:“错误:'thing'不是'foo'的成员”和实例化上下文)。#includestructfoo{enum{has_thing=false};};structbar{enum{has_thing=true};staticintthing(){return0;}};templatestructTest{/*autogo(typenamestd::enable_if::type=0)->decltype(T::thi
move_if_noexcept将:返回一个右值——促进move——如果move构造函数是noexcept或者如果没有复制构造函数(仅move类型)返回一个左值——强制复制——否则我发现这相当令人惊讶，因为具有抛出move-ctor的仅move类型仍将由使用move_if_noexcept的代码调用此move-ctor。是否对此给出了详尽的理由？(也许直接或在N2983的两行之间？)代码不编译而不是仍然不得不面对不可恢复的move场景会不会更好？N2983中给出的vector示例很好:voidreserve(size_typen){......new((void*)(new_begin
C++11编译器能否(它们确实)注意到一个函数是一个constexpr并且即使它们没有被声明为constexpr也如此对待它们？我正在向使用直接来自维基百科的示例的人演示constexpr的用法:intget_five(){return5;}intsome_value[get_five()+7];//Createanarrayof12integers.Ill-formedC++令我惊讶的是，编译器没有问题。因此，我进一步更改了get_five()以获取一些int参数，将它们相乘并返回结果，同时仍未明确声明为constexpr。编译器也同意这一点。似乎如果编译器可以做到这一点，那么为了显
下面的代码迫切需要:values()来编译，至少在ideone::C++14中是这样:#includetemplatestructTable{constexprTable():values(){for(autoi=0;i();for(autox:a.values)std::cout但是为什么？我有过这样的想法:“值也可以以非constexpr方式初始化，而values()确实明确表示我们以符合constexpr的方式初始化它”。但是省略:values()是不是同样清楚？ 最佳答案 考虑语义。从初始化列表中省略成员将执行默认初始化，在
