jjzjj

c++ - 我的 type_trait 在模板化/非模板化代码中的不同行为

在下面的代码片段中,has_bar在main和DoStuff方法中的行为不同:在main方法中,a_bar==false和b_bar==true。当我执行这个时,我得到2x“Foo”作为输出。为什么?#includestructA{voidFoo(){std::coutstructhas_bar:std::false_type{};templatestructhas_bar>:std::true_type{};templatevoidDoStuff(Tt){ifconstexpr(has_bar::value){t.Bar();}else{t.Foo();}}intmain(){Aa;

c++ - 如何解析像 std::allocator_traits 这样的可选嵌套类型?

分配器可以选择嵌套类型,如pointer,const_pointer.但是可以始终将这些接口(interface)与std::allocator_traits一起使用,如果这些类型在Allocator中不存在,它将提供这些类型的默认版本.如何std::allocator_traits实现的?模板如何在不存在时选择嵌套类型的默认版本? 最佳答案 解决方法是引用类型T::pointer在不是有效类型时不会导致错误的情况下,它会导致模板参数推导失败。其一般形式称为SFINAE,代表“替换失败不是错误”。有关其工作原理的解释,请参阅我的SF

c++ - iterator_traits<InIter>::value_type 的创建是否会在传递时触发遵从? (异常测试)

我在故意为不特别遵守迭代器的函数抛出异常(出于测试目的)时遇到了麻烦。要了解我在做什么,请带上我的decorator_iterator结构:structdecorated_iterator:boost::iterator_adaptor,BaseIterator,boost::use_default,IteratorTag>{//....private:friendclassboost::iterator_core_access;/*usedtothrowanexceptionupondereference*/typenamebase_type::referencedereferenc

c++ - boost::call_traits - 为什么 gcc 为此给出 false?

示例:#include#include#includeboost::call_traits::param_typef(){return1;}intmain(){std::cout::param_type>::value::value问题:除非我做错了什么,我想我应该为两者都得到true,但是gcc4.7.0为后者输出false。有什么我想念的吗? 最佳答案 非类类型的右值永远不是const限定的。只有类类型的右值可以是const限定的。因此,即使函数f被声明为返回一个constint,即使函数f的类型是constint(),调用表达

条款47:请使用traits classes表现类型信息

1.前言STL主要由“用以表现容器,迭代器和算法”的template构成,但也覆盖若干工具性templates,其中一个名为advance,用来将某个迭代器移动某个给定距离:tempalte//将迭代器向前移动d单位voidadvance(IterT&iter,DistTd);//如果d观念上advance只是做iter+=d动作,但其实不可以全然是那样,因为只有randomaccess(随机访问)迭代器才支持+=操作。面对其它迭代器种类,advance必须反复施行++或--,共d次。先回顾下STL迭代器的分类:STL共有5种迭代器分类,inpiut迭代器只能向前移动,一次一步,客户可只读取它

c++ - 错误 C2248 : 'std::basic_ios<_Elem,_Traits>::basic_ios' : cannot access private member declared in class 'std::basic_ios<_Elem,_Traits>'

我无法理解这个错误。这个错误不在我正在调试的类中。(是吗?)错误是:c:\programfiles\microsoftvisualstudio10.0\vc\include\fstream(890):errorC2248:'std::basic_ios::basic_ios':cannotaccessprivatememberdeclaredinclass'std::basic_ios'1>with1>[1>_Elem=char,1>_Traits=std::char_traits1>]1>c:\programfiles\microsoftvisualstudio10.0\vc\inc

c++ - 为什么 boost::call_traits<double>::param_type 是 "const double&"而不是 "double"

我在win32program@windows7机器上使用代码“boost::call_traits::param_type”。令我惊讶的是,它不是“double”而是“constdouble&”。我认为所有原始类型都适合对函数参数使用“按值传递”,这不是常识吗?因为很多人会使用is_pod来判断是否使用引用,不是吗? 最佳答案 根据doc,该优化显然只适用于“小型”内置类型。.快速浏览source,看起来“小”类型被认为是满足sizeof(T)的类型.在32位机器上,这显然不包括double.在某些情况下,将参数传递为double可

c++ - 由 traits [policies, actually] 实例化的类成员函数

我不愿意说我想不通,但我想不通。我用谷歌搜索并搜索了StackOverflow,但一无所获。这个问题的抽象形式可能过于模糊,我如何使用traits-pattern来实例化成员函数?[更新:我在这里使用了错误的术语。应该是“政策”而不是“特质”。特征描述现有的类。策略规定合成类。]在对我10多年前编写的一组多元函数优化器进行现代化改造时出现了这个问题。所有优化器都通过选择远离当前最佳点(“更新”)的参数空间的直线路径进行操作,然后在该线上找到更好的点(“线搜索”),然后测试“完成”条件,如果没有完成,则进行迭代。有不同的方法来进行更新、行搜索、完成测试和其他事情。连连看。不同的更新公式需

c++ - iterator_traits中的嵌套指针类型有什么用?

std::iterator_traits类模板定义了5个嵌套类型:iterator_category,value_type,difference_type,pointer和reference.浏览的来源libc++和libstdc++的头文件,可以看到value_type的许多用途,difference_type和iterator_category,但只有一个reference(在std::iter_swap内)并且pointer没有.我的应用程序使用手工构建的代理迭代器/代理引用对。我想过渡到使用Boostiterator_facade这让我可以从默认的T&配置引用类型到任意类型,但

C++ : has_trivial_X type traits

boost库,似乎是即将推出的C++0x标准,定义了各种类型特征模板,以区分具有平凡构造函数、复制构造函数、赋值或析构函数的对象与不具有平凡构造函数的对象。其最重要的用途之一是优化某些类型的算法,例如通过使用memcpy。但是,我不明白所有各种has_trivial_X模板之间真正的实际区别。C++标准只定义了我们在这里关注的两大类类型:POD和非POD。如果一个类型具有已定义的构造函数、复制构造函数、赋值运算符或析构函数,则该类型是非POD。换句话说,任何不是内置类型或内置类型的C结构的东西都不是POD。那么区分has_trivial_assign和has_trivial_const