草庐IT

move_if_noexcept

全部标签

c++ - std::vector::data() 是否通过 move 保留?

这个问题在这里已经有了答案:关闭9年前。PossibleDuplicate:Doesmovingavectorinvalidateiterators?考虑以下代码:std::vectorprepare(T*&data){std::vectorbuffer;//Fillinbuffer.data=buffer.data();returnbuffer;}...T*data;autovec=prepare(data);//line12是否有可能vec.data()!=data在第12行?同样,std::vectorbuffer;//...Fillinbuffer...T*data=buffe

c++ - 为什么 C++ 编译器无法将 "if(test) --foo"优化为 "foo -= test"?

我有一个函数可以找到给定整数的下一个2的幂。如果整数是2的幂,则返回幂。非常简单:charnextpow2if(inta){charfoo=char(32-__builtin_clz(a));boolispow2=!(a&a-1);if(ispow2)--foo;returnfoo;}然而,在使用带有-O2的gcc6进行编译之后,在检查生成的程序集之后,我发现这是在计算foo-1之后用看似无用的指令cmovne编译的。更糟糕的是,对于gcc5和更早的版本,我在代码中得到了一个实际的jne分支。编译它的更快方法就像我编写了以下函数:charnextpow2sub(inta){charfo

c++ - JNI_CreateJavaVM : Buffer overrun if I throw an exception in case of failure

在C++项目中,我使用JNI调用API来启动JVM。我已经围绕JVM做了一些包装,因此我可以以面向对象的方式使用所有需要的部分。到目前为止效果很好。现在,如果JVM没有启动(JNI_CreateJavaVM返回值JNI_CreateJavaVM之后抛出异常,我遇到缓冲区溢出。如果我在没有JNI_CreateJavaVM调用的情况下引发异常,它会按预期工作。有人知道这里的问题是什么吗?或者如何调试?环境:Windows、VisualStudio2008JDK:jrockit27.6jdk16005,但也发生在SUNstockone上干杯多米尼克 最佳答案

c++ - 从 enable_if 基础继承

我正在尝试为非字符数组部分特化一个特征:templatestructis_container:std::false_type{};templatestructis_container:std::enable_if::value,std::true_type>::type{};VisualStudio2010给了我一个C2039(type不是enable_if的元素...)。但是,SFINAE不应该在这里触底而不是给出编译器错误吗?或者SFINAE不适用于这种情况?当然,我可以将非字符和字符的特化分开:templatestructis_container:std::false_type{

c++ - 销毁并重新生成赋值运算符 : what if I'm careful?

这是一个糟糕的模式。copy-and-swap更好。foo&operator=(fooconst&other){static_assert(noexcept(new(this)foo()),"Exceptionsafetyviolation");this->~foo();try{new(this)foo(other);}catch(...){new(this)foo();//doesnotthrowthrow;}return*this;}只要foo是notpolymorphic,会出什么问题?(但是,假设它是一个基类。)背景:我正在处理本地存储类型删除,替代方案是通过本地存储空间将sw

c++ - enable_if : minimal example for void member function with no arguments

我试图更好地理解C++11中的std::enable_if并且一直在尝试编写一个最小的示例:一个类A带有成员函数voidfoo()根据类模板中的类型T具有不同的实现。下面的代码给出了期望的结果,但我还没有完全理解它。为什么版本V2有效,但V1无效?为什么需要“冗余”类型U?#include#includetemplateclassA{public:A(Tx):a_(x){}//EnablethisfunctionifT==int/*V1*///template::value,int>::type=0>/*V2*/template::value,int>::type=0>voidfoo(

c++ - if 子句中的自动赋值

我有下面的代码,它报告“这里不允许自动”//GeSettings()returnsboost::optionalandcouldbeemptyif((autoret=GetSettings(InputField))&&ShouldWeDoThis()){dosomethingwithret;}但如果没问题,可以如下更改。if(autoret=GetSettings(InputField)){if(ShouldWeDoThis()){dosomethingwithret;}}背后的原因可能是傻买请问为什么?我正在使用VisualStudio2017 最佳答案

c++ - 试图更好地理解 std::forward、std::move

我正在编写一个基本的类模板。它的参数有两种参数类型。该类(class)的想法是将一种类型作为constref接受。另一个是ref.该类的功能是转换类型A输入B正在创建的对象最终将成为b.我想要perfect-forwarding或movesemantics此类模板的有效部分。现在这是我当前的类,只有基本类型,但计划使用可变参数结构将其扩展到任何2种类型。#ifndefCONVERTER_H#defineCONVERTER_H#includetemplateclassConverter{private:Fromin_;Toout_;public://WouldlikeforFromint

c++ - 在循环/if 括号后检测分号

GCC中是否有任何标志(如clang中的-Wempty-body),可以帮助我检测while/for循环大括号后的分号?有时人类很难发现这些简单的错误。inti=0;for(i=0;i我使用GCC4.7.3和clang3.2-1~exp9ubuntu1。编辑:我还检查编译器是否可以帮助我在“if-else语句”之后找到这些错误。if(i==0){cout有趣的是gcc通过打印警告比clang更有帮助(带有此标志(-Wall-pedantic-Wempty-body):main.cpp:30:9:warning:suggestbracesaroundemptybodyinan‘else’

c++ - std::move into static_pointer_cast:为什么 static_pointer_cast 没有右值引用重载?

假设我们有一个函数需要一个按值共享的指针。(在现实生活中的例子中,我通过右值引用获取它并将其转发给成员。)voidf(std::shared_ptrptr){...}但是我们只有一个指向基类的共享指针,所以我们使用static_pointer_cast:std::shared_ptrptr=std::make_shared();f(std::static_pointer_cast(ptr));第一个赋值(从临时构造ptr)是否触发了引用计数的原子递增和递减,或者共享指针是否被移动?(请注意,它正在向上转换。)在static_pointer_cast中有引用计数的原子增量。如果我们不再需