草庐IT

type-equivalence

全部标签

C++ : how do I use type_traits to determine if a class is trivial?

在C++0x中,我想确定一个类是否简单/是否具有标准布局,以便我可以使用memcpy()、memset()等...我应该如何使用type_traits实现下面的代码,这样我才能确认一个类型是微不足道的?templateboolisTrivialType(){boolisTrivial=???returnisTrivial;}注意:is_pod()限制太多:我希望我的类有简单的构造函数等......为了方便。补充:我认为std::is_standard_layout可能会给我我正在寻找的东西。1.如果我添加构造函数,它仍然返回true2.如果我添加一个虚方法,它返回false这是我需要确

c++ - 如何使用 type_traits 检测字符串文字?

我如何可靠地对任何不是字符串文字的内容进行static_assert?例如,在下面的代码中,我试图包装标准断言宏,但静态拒绝消息的任何不是字符串文字的内容(因为当断言触发时,除了字符串文字之外的任何内容都不会在运行时显示).#include#include#include#definemy_assert(test,message)\static_assert(\(\!std::is_pointer::value&&\!std::is_array::value\),\"literalstringrequired"\);\assert((message,(test)));intmain()

c++ - 函数参数中的 `type_alias<char[N]>{}` VS `char[N]{}`

环境:x86-64Clang6.0.0函数的定义:voidfoo(constchar*){}foo(char[16]{});//houston,thereisaproblem!foo(type_alias{});//compilehappilytype_alias很简单:templateusingtype_alias=T;livedemon作为注释,case1case2时无法编译能够。我知道aliasdeclarations与using不是文本替换(如#define),它是该类型的同义词。但我仍然不知道如何解释这种情况。然后我给GCC一个try:prog.cc:Infunction'i

c++ - Clang claims that `member reference base type ' X' is not a structure or union`,但 X 是具有推导参数的结构模板

考虑以下代码:templatestructX{X(T){}voidfoo(){}};templatestructY{intobject=0;voidbar(){X(object).foo();}};Liveongcc.godbold.orgGCC8.2编译它,而Clang7吐出以下错误::13:18:error:memberreferencebasetype'X'isnotastructureorunionX(object).foo();~~~~~~~~~^~~~这对我来说像是一个错误。条件非常具体:如果任一结构不是模板,或者object不是成员变量,或者不涉及CTAD(类模板参数推导

c++ - 模板错误 : nontype ".. [with T=T] is not a type name"

尝试对我的内存对齐进行类型定义,我得出了以下结构(由于我需要更正GNU版本,该结构仍在进行中):#ifdefined(__GNUG__)templatestructsfo_type{typedefT*restrict__attribute__((aligned(32)))aptr32;};#elifdefined(__INTEL_COMPILER)templatestructsfo_type{typedefT*restrict__attribute__((aligned(32)))aptr32;};#endif然后我尝试像这样使用它:templateclasstsfo_vector{p

c++ - 从 int 转换为 std::array<unsigned char, 1ul>::value_type 可能会改变其值

编译此程序时,-WconversionGCC参数产生标题中的警告:#include#include#includeintmain(){std::stringtest="1";std::arraybyteArray;byteArray[0]=byteArray[0]|test[0];return0;}这是我编译它的方式:g++--Wall-Wextra-Wconversion-pedantic-std=c++0xtest.cpp我使用的是GCC4.5。我在这里做违法的事情吗?它会在某些情况下引起问题吗?为什么|会产生一个int? 最佳答案

C++11 枚举转发导致 "underlying type mismatch"

我在C++11中工作,包括一个在C++03中实现的h文件。在我包含的h文件中,定义了一个枚举Foo。我想在code.h中声明一个转发到它并在code.cpp中使用它:标题.h:enumFoo{A=1};代码.h:enumFoo:int;//alsotried:unsignedint,long,short,unsignedshort,char,unsignedcharvoidbar(Foofoo);代码.cpp:#includeheader.hvoidbar(Foofoo){}这是我在编译时遇到的错误(测试了g++4.8.5和g++5.3.1):Infileincludedfromcod

c++ - 实现观察者模式时出现问题 : "Member reference base type ________ is not a structure or union"

我一直在实现准系统观察者模式,但遇到了一个有点神秘的错误:“成员引用基类型‘Observer*’不是结构或union”。我认为这与我对模板的使用有关,我对模板的使用仍然相当不舒服。这是有问题的代码(为了简化事情而删除了大多数缺点/析构函数):主题界面:classSubject{public:virtualvoidnotify();private:listm_observers;};主题实现:voidSubject::notify(){list::iteratori;for(i=m_observers.begin();i!=m_observers.end();i++){*i->updat

c++ - 在 Clang 中禁用 "cast from pointer to smaller type uint32_t"错误

我正在从事一个学校项目,该项目涉及在实验硬件上移植一大段C++代码。不幸的是,该硬件是64位的,并且代码包含许多指针算术实例,这些实例期望指针是32位的,即它通常是reinterpret_cast(ptr)。.一个一个地浏览它们会非常乏味,而且由于无论如何这是一个实验项目,我很乐意接受一个“hackish”的解决方法。因此,我修改了malloc的实现,以确保它永远不会分配超过4GB限制的内存。因此,从技术上讲,这些类型转换应该是有效的。问题是,我该如何向Clang解释这一点?我得到的错误是:error:castfrompointertosmallertype'uint32_t'(aka

c++ - '从 some_type** 到 const some_type** 的无效转换'

我有一个函数需要constsome_type**作为参数(some_type是一个结构,函数需要一个指向这种类型数组的指针).我声明了一个some_type*类型的局部变量,并对其进行了初始化。然后我将该函数称为f(&some_array),编译器(gcc)说:error:invalidconversionfrom‘some_type**’to‘constsome_type**’这里有什么问题?为什么我不能将变量转换为常量? 最佳答案 参见:Whycan'tIpassachar**toafunctionwhichexpectsaco