Message from discussion Could someone tell me some book or articles about Concepts and concept checking ?

Path: g2news2.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!wns13feed!worldnet.att.net!207.14.113.41!news.alt.net!not-for-mail
From: "zqiang320" <zhongl...@webmail.hzau.edu.cn>
Newsgroups: comp.lang.c++.moderated
Subject: Could someone tell me some book or articles about Concepts and concept checking ?
Date: 12 Sep 2006 15:11:41 -0400
Organization: http://groups.google.com
Lines: 20
Sender: cppm...@netlab.cs.rpi.edu
Approved: c.l....@bazarov.com
Message-ID: <1157938059.015182.51320@i42g2000cwa.googlegroups.com>
NNTP-Posting-Host: netlab.cs.rpi.edu
To: (Usenet)
Return-Path: <cppm...@netlab.cs.rpi.edu>
X-Original-Date: 10 Sep 2006 18:27:39 -0700
X-Submission-Address: c++-sub...@netlab.cs.rpi.edu
X-Auth: PGPMoose V1.1 PGP comp.lang.c++.moderated
                iQBVAwUARQcGc0HMCo9UcraBAQG4EQH/XetAPcXI31K0j9vJMHA6mNgCy7w6zmDr
                yUHeqlMvOJ4ffldL/e+CFnHAURdzqRtA/mNgBlsxlfAu0wtsIsv+7g==
                =K3i1

Dear friends:
        I am reading sgi STL concept_checks.h, but I could not
understand its semantic, such as:

#define __STL_CLASS_REQUIRES(__type_var, __concept) \
  typedef void (* __func##__type_var##__concept)( __type_var ); \
  template <__func##__type_var##__concept _Tp1> \
  struct __dummy_struct_##__type_var##__concept { }; \
  static __dummy_struct_##__type_var##__concept< \
    __concept##_concept_specification< \
      __type_var>::__concept##_requirement_violation>  \
  __dummy_ptr_##__type_var##__concept

 Could someone tell me some book or articles about Concepts and concept
checking ?


      [ See http://www.gotw.ca/resources/clcm.htm for info about ]
      [ comp.lang.c++.moderated.    First time posters: Do this! ]