草庐IT

static-variables

全部标签

C++1y/14 : auto variable templates?

下面的C++1y/C++14程序格式错误吗?templateconstexprautoX=42;intmain(){static_assert(X==42,"");}为什么/为什么不?Clangtrunk提示说:error:invalidoperandstobinaryexpression('auto'and'int') 最佳答案 这是clang中的一个错误,现在已修复:http://llvm.org/bugs/show_bug.cgi?id=19152 关于C++1y/14:autov

带断言的 C++ static_cast

不幸的是,我必须在调用第3方库时执行缩小转换。我不想在我的发布版本中增加开销,所以将使用static_cast。但是,它是一个数组索引,因此如果它最终为负数,可能会带来一些乐趣。是否有某种方法可以仅在Debug模式下创建安全转换,以检查值以确保转换期间没有丢失?我能想到的唯一方法是使用宏,但我不想这样做。例如,在使用MSVC的发布和Debug模式下:intmain(){longlongll=std::numeric_limits::max();++ll;std::cout(ll);std::cout输出结果:2147483648-2147483648使用宏:templatetochec

c++ - 引用 static_cast 的引用和指向 static_cast 指针的指针的成本

对引用static_cast的引用是否与指向指针static_cast的指针具有相同的运行时间成本?例如classB;classA:publicclassB;Aobj;A&ref=obj;A*ptr=&obj;//1static_cast(ref);//2static_cast(ptr); 最佳答案 不,它们并不总是具有相同的成本。启用优化后,它们总是具有相同或非常接近相同的成本。如果您向上或向下转换继承层次结构,其中任何一个涉及多重继承,或者一个多态类继承自一个非多态类,然后指针的static_cast可能会产生condition

c++ - 关于 ints 和 static_assert 的特化

我想编写一个仅适用于2个数字(例如3和5)的模板函数,如果您尝试将其与其他数字一起使用,则会出现错误。我可以这样做:templatevoidf();templatevoidf(){cout()\n";}templatevoidf(){cout()\n";}然后我可以用正常的方式调用这个函数:f();f();它编译得很好,如果我尝试错误地使用我的函数:f();编译器给我一个错误。这种方法有两个问题:1.-这是标准吗?我可以使用整数专门化模板吗?2.-我不喜欢使用这种方法时出现的错误,因为错误不会告诉用户他做错了什么。我更喜欢写这样的东西:templatevoidf(){static_as

c++ - 构造函数的初始化列表之前的 static_assert

有一个非模板化的类,它有一个模板化的构造函数。是否可以在此类构造函数中初始化成员变量之前检查静态断言?​​例如,下面的代码在检查T是否有这样的方法之前执行T::value()。classMyClass{public:templateMyClass(constT&t):m_value(t.value()){static_assert(HasValueMethod::value,"Tmusthaveavalue()method");}private:intm_value;};将static_assert放在构造函数的主体中工作正常,除了它在最后打印“Tmusthaveavalue()met

c++ - scanf/字段长度 : using a variable/macro, C/C++

如何在使用scanf时使用变量来指定字段长度。例如:charword[20+1];scanf(file,"%20s",word);此外,使用20+1是否正确(因为它需要在末尾添加\0?)。相反,我想要这样的东西:#defineMAX_STRING_LENGTH20然后charword[MAX_STRING_LENGTH+1];scanf(file,"%"MAX_STRING_LENGTH"s",word);//what'sthecorrectsyntaxhere..?这可能吗?如果它是一个变量怎么样:intlength=20;charword[length+1];scanf(file,

C++1y/C++14 : Converting static constexpr array to non-type template parameter pack?

假设我有一个静态存储持续时间的constexpr数组(已知范围):constexprTinput[]=/*...*/;我有一个需要打包的输出类模板:templatestructoutput_template;我想像这样实例化output_template:usingoutput=output_template;一种方法是:templatestructmake_output_template{templatestaticconstexproutput_templatef(std::index_sequence){return{};};usingtype=decltype(f(std::m

c++ - 向上转换时的隐式转换与 static_cast

假设我有三个类:A(母亲,抽象),B和C,A的child。所以B和C继承自A(公有继承)。我有一个指向A的指针列表,我用B或C的指针填充它。问题是:在进行转换/转换时,哪种风格是首选?classA{};classB:publicA{};classC:publicA{};B*objB=newB();C*objC=newC();std::listmyList;//OptionA:staticcastconversionmyList.push_back(static_cast(objB));myList.push_back(static_cast(objC));//OptionB:impli

c++ - 应该用 typedef 触发 static_assert 吗?

我注意到当实例化为typedef时,类模板中的静态断言不会被触发。#includetemplatestructtest_assert{static_assert(std::is_same::value,"shouldfail");};typedeftest_assertt;这段代码编译没有错误。如果我尝试创建一个实例,则断言失败:tobj;//error:staticassertionfailed:"shouldfail"最后,如果我将条件替换为false,即使我不实例化类模板,断言也会失败:templatestructtest_assert{static_assert(false,"

c++ - decltype - "the only context in which a variable defined as a reference is not treated as a synonym for the object to which it refers"?

我正在阅读C++Primer,第5版,第1页。71他们首先给出了这个代码示例:constintci=0,&cj=ci;decltype(ci)x=0;decltype(cj)y=x;decltype(cj)z;//error然后他们说:Itisworthnotingthatdecltypeistheonlycontextinwhichavariabledefinedasareferenceisnottreatedasasynonymfortheobjecttowhichitrefers.这是什么意思?我不明白。y指的是x。那么有什么收获呢? 最佳答案