boost::concept_check (转)

最新推荐文章于 2023-08-24 06:28:06 发布
最新推荐文章于 2023-08-24 06:28:06 发布
阅读量269 收藏
点赞数
文章标签： c/c++
boost::concept_check (转)[@more@]

发信人: huxw (米老鸭和唐老鼠), 信区: Programming
标  题: boost::concept_check
发信站: BBS 水木清华站 (Mon May 13 14:21:45 2002)

跟进, 这个比较简单 ;)

boost的概念检查库

一: 为什么

"概念检查"的意思类似于Design by Contract,我想. 举一个简单的例子,

  1  #include
  2  #include
  3
  4  int main(int, char*[]) {
  5  std::list v;
  6  std::stable_sort(v.begin(), v.end());
  7  return 0;
  8  }

这个有一个明显的错误, list没有随机存取的叠代子(RandomAccessIterator),
显然不能满足stable_sort的要求.  就是说, 这个程序错了. 但是编译器能告诉
我们吗? 看看他们是怎么说的.

[vc6]
:program filesmicrosoft visual
studiovc98includealgorithm(579) : error C2784: 'class
std::reverse_iterator<_ri> __cdecl std::operator
+(_D,const class std::reverse_iterator<_ri> &)' : could
not deduce template arg ument for '' from 'class std::liststd::allocator >::iterator' c:program filesmicrosoft visual
studiovc98includealgorithm(570) : see reference to function
template instantiation 'void __cdecl std::_Insertion_sort_1(class
std::list >::iterator,class
std::list >::iterator,int *)' being
compiled c:program filesmicrosoft visual
studiovc98includealgorithm(579) : error C2676: binary '+' : 'class
std::list >::iterator' does not define
this operator or a conversion to a type acceptable to the predefined
operato r c:program filesmicrosoft visual
studiovc98includealgorithm(570) : see reference to function
template instantiation 'void __cdecl std::_Insertion_sort_1(class
std::list >::iterator,class
std::list >::iterator,int *)' being
compiled

[g++ 2.95.3]
D:/MINGW/BIN/../lib/gcc-lib/mingw32/2.95.3-5/../../../../include/g++-3/stl_algo
h: In function `void __inplace_stable_sort<_list_iterator> >(_L
....此处略去大约50行
h:1489: no match for `_List_iterator & - _List_iterator &,int *> &'

对于一个初学者来说, 编译器给出的错误信息不但没有说明错误的理由, 而且有
意图要把人的思想往错误的方向上引.  concept_check的作者总结了这样四点:

1. 因为错误的模板参数而导致的编译器错误搞得根密码似的. 经常是错误出在
  模板的调用方, 编译器却扔出模板的内部实现来给程序员看.

2. 作为文档记录下来的concept可能和模板本身的并不完全吻合, 这样就有可能
  出现, 用户明明按着文档的说明来调用模板, 还是出现了莫名其妙的错误

3. 文档化的concept过于束缚, 超过了模板真正需要的.

4. concept并没有表现在代码中, 这使得代码难于理解; 而且代码和文档难于同步.

compiled

[g++ 2.95.3]
D:/MINGW/BIN/../lib/gcc-lib/mingw32/2.95.3-5/../../../../include/g++-3/stl_algo
h: In function `void __inplace_stable_sort<_list_iterator> >(_L
....此处略去大约50行
h:1489: no match for `_List_iterator & - _List_iterator &,int *> &'

对于一个初学者来说, 编译器给出的错误信息不但没有说明错误的理由, 而且有
意图要把人的思想往错误的方向上引.  concept_check的作者总结了这样四点:

1. 因为错误的模板参数而导致的编译器错误搞得根密码似的. 经常是错误出在
  模板的调用方, 编译器却扔出模板的内部实现来给程序员看.

2. 作为文档记录下来的concept可能和模板本身的并不完全吻合, 这样就有可能
  出现, 用户明明按着文档的说明来调用模板, 还是出现了莫名其妙的错误

3. 文档化的concept过于束缚, 超过了模板真正需要的.

4. concept并没有表现在代码中, 这使得代码难于理解; 而且代码和文档难于同步.

而concept_check则能够提供:

1. 插入的编译期模板参数检查

2. 通过concept checking类来建立一个能够明确表示concept要求的框架(framework)

3. 能够校验模板参数的机制

二. 怎么用

concept的使用很简单了, 就两个东西
[function_requires]
用在一个模板函数的内部. 比如
template
  void generic_library_function(T x)
  {
  function_requires< EqualityComparableConcept >();
  // ...
  };
[BOOST_CLASS_REQUIRES]
用在一个模板类的内部. 比如
  template
  struct generic_library_class
  {
  BOOST_CLASS_REQUIRES(T, EqualityComparableConcept);
  // ...
  };

在一个刚才的例子, 如果我们修改了algorithm中的stable_sort代码,那么...

输出的结果应该是酱紫的:

D:/MINGW/BIN/../lib/gcc-lib/mingw32/2.95.3-5/../../../../include/boost/concept_c
heck.hpp: In method `void boost::ComparableConcept<_list_iterator>
 >::constraints()':
D:/MINGW/BIN/../lib/gcc-lib/mingw32/2.95.3-5/../../../../include/boost/concept_c
heck.hpp:43:  instantiated from `boost::function_requires<:comparableconc>ept<_list_iterator> > >()'
D:/MINGW/BIN/../lib/gcc-lib/mingw32/2.95.3-5/../../../../include/boost/concept_c
heck.hpp:607:  instantiated from `boost::RandomAccessIteratorConcept<_list_iter>ator >::constraints()'
D:/MINGW/BIN/../lib/gcc-lib/mingw32/2.95.3-5/../../../../include/boost/concept_c
heck.hpp:43:  instantiated from `boost::function_requires<:randomaccessit>eratorConcept<_list_iterator> > >()'
D:/MINGW/BIN/../lib/gcc-lib/mingw32/2.95.3-5/../../../../include/g++-3/stl_algo.
h:1544:  instantiated from `stable_sort<_list_iterator> >(_List
_iterator, _List_iterator)'
qq.cpp:6:  instantiated from here
D:/MINGW/BIN/../lib/gcc-lib/mingw32/2.95.3-5/../../../../include/boost/concept_c
heck.hpp:282: no match for `_List_iterator & < _List_iteratornt,int &,int *> &'
... 一下略去

这里至少出现了RandomAccessIteratorConcept, qq.cpp:6这样的关键字. 而且
concept_check这样的字眼也在提醒程序员, 错误出现的原因在你自己而不是
库. 错误信息还是很长很长, 虽然比原来要短一点了. ;(

三. 实现于扩展

concept类实现的规范很简单, 必须有一个void constraints()的非静态成员函
数, 这是给function_requires回掉用的. 而且, 最好顺便给你的类名加上一个
Concept的后缀, 这能够说明这个类是干什么的.

四. 其他

最好能够看看concept_check.hpp文件, 代码并不复杂, BOOST_CLASS_REQUIRES
这里至少出现了RandomAccessIteratorConcept, qq.cpp:6这样的关键字. 而且
concept_check这样的字眼也在提醒程序员, 错误出现的原因在你自己而不是
库. 错误信息还是很长很长, 虽然比原来要短一点了. ;(

三. 实现于扩展

concept类实现的规范很简单, 必须有一个void constraints()的非静态成员函
数, 这是给function_requires回掉用的. 而且, 最好顺便给你的类名加上一个
Concept的后缀, 这能够说明这个类是干什么的.

四. 其他

最好能够看看concept_check.hpp文件, 代码并不复杂, BOOST_CLASS_REQUIRES
是一个用来拼装函数的宏.

 

-- 
ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz 


※ 来源:·BBS 水木清华站 bbs.edu.cn·[FROM: 166.111.64.166] 


来自 “ ITPUB博客 ” ，链接：http://blog.itpub.net/10752043/viewspace-992684/，如需转载，请注明出处，否则将追究法律责任。

转载于:http://blog.itpub.net/10752043/viewspace-992684/

csd3176
关注
boost：验证BOOST_CONCEPT_ASSERT捕获了错误
希望我的博客，能帮上你解决学习中工作中所遇到的问题
05-25 367
boost：验证BOOST_CONCEPT_ASSERT捕获了错误实现功能C++实现代码 实现功能 boost：验证BOOST_CONCEPT_ASSERT捕获了错误 C++实现代码 #ifdef NDEBUG # undef NDEBUG #endif #include <boost/concept_check.hpp> struct foo { }; int main() { BOOST_CONCEPT_ASSERT((boost::EqualityComparable<fo
boost::geometry::strategy::distance用法的测试程序
希望我的博客，能帮上你解决学习中工作中所遇到的问题
06-03 400
boost::geometry::strategy::distance用法的测试程序实现功能C++实现代码 实现功能 boost::geometry::strategy::distance用法的测试程序 C++实现代码 #include <geometry_test_common.hpp> #include <boost/concept_check.hpp> #include <boost/geometry/srs/srs.hpp> #include <boost/
Boost中的Concept和Concept_Check
sunweiliang的博客
05-07 583
在Generic Programming当中，一个重要的概念就是Concept（滑稽的是，如果把这个Concept也翻译成“概念”，那就狗屁不通了。我倾向于说它是“操作集”）。Concept就是一组操作，如果一个type具有这些操作，那么就说这个type是这个Concept的一个model。 这其中的思想有那么一丁点像是OO当中的interface，一个class如果实现了一个interface，那么它就可以被当作这个interface来用。同样，如果一个type是一个Concept的model，那么所有接
boost::concept_check
huxw的专栏
08-02 1327
发信人: huxw (米老鸭和唐老鼠), 信区: Programming标  题: boost::concept_check发信站: BBS 水木清华站 (Mon May 13 14:21:45 2002)跟进, 这个比较简单 ;)boost的概念检查库一: 为什么"概念检查"的意思类似于Design by Contract,我想. 举一个简单的例子,   1  #includ
STL中的Concept和Boost库的Concept_Check
ralph623的专栏
09-27 1515
在Generic Programming当中，一个重要的概念就是Concept（滑稽的是，如果把这个Concept也翻译成“概念”，那就狗屁不通了。我倾向于说它是“操作集”）。Concept就是一组操作，如果一个type具有这些操作，那么就说这个type是这个Concept的一个model。这其中的思想有那么一丁点像是OO当中的interface，一个class如果实现了一个interface，那
boost_concept_check.rar_Boost
09-20
在给定的“boost_concept_check.rar”压缩包中，我们关注的是Boost的一个特定部分——BoostConceptCheck库。这个库是为了帮助开发者确保他们的模板类和函数满足特定的“概念”或设计模式，从而提高代码的正确性和...
boost::geometry::concepts::check用法的测试程序
希望我的博客，能帮上你解决学习中工作中所遇到的问题
06-02 233
boost::geometry::concepts::check用法的测试程序实现功能C++实现代码 实现功能 boost::geometry::concepts::check用法的测试程序 C++实现代码 #include <boost/geometry/core/cs.hpp> #include <boost/geometry/geometries/concepts/check.hpp> struct ro_point { float x, y; }; struct
boost：stl概念检查的测试程序
希望我的博客，能帮上你解决学习中工作中所遇到的问题
05-25 294
boost：stl概念检查的测试程序实现功能C++实现代码 实现功能 boost：stl概念检查的测试程序 C++实现代码 #include <boost/concept_check.hpp> #include <iterator> #include <set> #include <map> #include <vector> #include <list> #include <deque> #if 0 #include &
Boost：Boost概念的function_requires（）的测试程序
希望我的博客，能帮上你解决学习中工作中所遇到的问题
05-25 286
Boost：Boost概念的function_requires（）的测试程序实现功能C++实现代码 实现功能 Boost：Boost概念的function_requires（）的测试程序 C++实现代码 #include <boost/concept_check.hpp> #include <boost/concept_archetype.hpp> int main() { using namespace boost; { typedef default_constr
Boost下Concept Check库的学习
天道酬勤
10-22 1420
http://www.friendshow.com/forum/viewthread.php?fpage=1&tid=5965
Boost.Iterator相关Concept
ljp341621的博客
08-15 170
iterator_traits iterator_traits包含的内容: iterator_category value_type difference_type pointer reference template <class, class = void> struct _Iterator_traits_base {}; // empty for non-iterators template <class _Iter> struct _Iterator_traits_ba
Boost库中的can_require_concept是一个非常实用的工具，可以为C++开发者提供更加强大的编程能力
CodeLancerX的博客
08-22 60
在函数体内，我们调用了三次can_require_concept，分别要求T1类型和T2类型都需要满足EqualityComparable概念，而且T1类型必须能够转换成T2类型。can_require_concept是一个类型特征(trait)，可以对传入的模板参数进行判断，判断其是否满足特定的概念(concept)要求。总而言之，can_require_concept是一个非常有用的功能，可以帮助我们在编译期发现类型不满足特定概念的错误，从而提高代码的健壮性和可维护性。
【boost学习笔记】认识Concept
ad33k编程开发
04-26 555
Concept代表：一组类（也可以是类模板）必须满足的一组条件。 当某个类（Class）满足一组条件（Concept）时，可以说这个类（Class）就是这个Conecpt的一个模型（Model）。 泛型编程中个各个“元素”的关系图： 一个类型可以同时满足几个Concept，例如：正规类型 正规类型是指必须同时满足如下三个Concept：Assignable、Default Constructiable、Equality Comparable。也即： 如果 x=y，则 x==y 内建类型i
boost：验证Boost概念检查的class_requires 库应该在预期的时间内捕获错误
希望我的博客，能帮上你解决学习中工作中所遇到的问题
05-25 254
boost：验证Boost概念检查的class_requires 库应该在预期的时间内捕获错误实现功能C++实现代码 实现功能 boost：验证Boost概念检查的class_requires 库应该在预期的时间内捕获错误 C++实现代码 #include <boost/concept_check.hpp> struct foo { }; template <class T> class class_requires_test { BOOST_CONCEPT_AS
使用Boost中的contract模块实现check宏的测试程序
Book_Sea的博客
08-24 88
具体来说，我们使用boost::contract::precondition来指定前置条件，它接受一个lambda表达式作为参数，并返回一个bool值。但是，由于我们的前置条件失败了，我们将捕获一个boost::contract::from_failure异常，并输出异常信息。在本文中，我们介绍了如何使用Boost中的contract模块来实现check宏，并编写了一个测试程序来验证其功能。在本文中，我们将介绍如何使用 Boost中的contract模块来实现check宏，并编写一个测试程序。
Beyond the C++ Standard Library: An Introduction to Boost —— 介绍(5)
01-07 1362
泛型编程与模板元编程Boost.Call_traits这个库提供了传递参数给函数的最好方法的自动演绎，依据参数的类型。例如，当传递的是如int 和 double这样的内建类型，最高效的方式是传值。对于用户自定义类型，则传送const引用通常更好。Call_traits为你自动选择正确的参数类型。这个库还有助于声明参数为引用，而不用冒引用到引用的风险(在C++这是非法的)。Call_tr
boost::asio::high_resolution_timer
最新发布
01-18
boost::asio::high_resolution_timer是一个定时器类，用于在boost::asio库中进行高分辨率的定时操作。 boost::asio库是一个用于网络和异步编程的C++库。它提供了丰富的功能，包括异步IO操作、定时器、socket通信等...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值