| 1 | <!-- Copyright David Abrahams 2006. Distributed under the Boost --> |
|---|
| 2 | <!-- Software License, Version 1.0. (See accompanying --> |
|---|
| 3 | <!-- file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) --> |
|---|
| 4 | <html> |
|---|
| 5 | <head> |
|---|
| 6 | <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"> |
|---|
| 7 | <link rel="stylesheet" type="text/css" href=../../../../boost.css> |
|---|
| 8 | <title>Boost.Python - Dereferenceable Concept</title> |
|---|
| 9 | </head> |
|---|
| 10 | <body link="#0000ff" vlink="#800080"> |
|---|
| 11 | <table border="0" cellpadding="7" cellspacing="0" width="100%" summary= |
|---|
| 12 | "header"> |
|---|
| 13 | <tr> |
|---|
| 14 | <td valign="top" width="300"> |
|---|
| 15 | <h3><a href="../../../../index.htm"><img height="86" width="277" alt="C++ Boost" src="../../../../boost.png" border="0"></a></h3> |
|---|
| 16 | </td> |
|---|
| 17 | <td valign="top"> |
|---|
| 18 | <h1 align="center"><a href="../index.html">Boost.Python</a></h1> |
|---|
| 19 | <h2 align="center">Dereferenceable Concept</h2> |
|---|
| 20 | </td> |
|---|
| 21 | </tr> |
|---|
| 22 | </table> |
|---|
| 23 | <hr> |
|---|
| 24 | <dl class="page-index"> |
|---|
| 25 | <dt><a href="#introduction">Introduction</a></dt> |
|---|
| 26 | <dt><a href="#concept-requirements">Concept Requirements</a></dt> |
|---|
| 27 | <dl class="page-index"> |
|---|
| 28 | <dt><a href="#Dereferenceable-concept">Dereferenceable Concept</a></dt> |
|---|
| 29 | </dl> |
|---|
| 30 | </dl> |
|---|
| 31 | |
|---|
| 32 | <h2><a name="introduction"></a>Introduction</h2> |
|---|
| 33 | |
|---|
| 34 | <p>Instances of a Dereferenceable type can be used like a pointer to access an lvalue. |
|---|
| 35 | |
|---|
| 36 | <h2><a name="concept-requirements"></a>Concept Requirements</h2> |
|---|
| 37 | <h3><a name="Dereferenceable-concept"></a>Dereferenceable Concept</h3> |
|---|
| 38 | |
|---|
| 39 | <p>In the table below, <code><b>T</b></code> is a model of |
|---|
| 40 | Dereferenceable, and <code><b>x</b></code> denotes an object of |
|---|
| 41 | type <code>T</code>. In addition, all pointers are Dereferenceable. |
|---|
| 42 | |
|---|
| 43 | <table summary="Dereferenceable expressions" border="1" cellpadding="5"> |
|---|
| 44 | |
|---|
| 45 | <tr> |
|---|
| 46 | <td><b>Expression</b></td> |
|---|
| 47 | <td><b>Result</b></td> |
|---|
| 48 | <td><b>Operational Semantics</b></td> |
|---|
| 49 | </tr> |
|---|
| 50 | |
|---|
| 51 | <tr> |
|---|
| 52 | <td><code>get_pointer(x)</code></td> |
|---|
| 53 | <td>convertible to <code><a href="pointee.html#pointee-spec">pointee</a><T>::type*</code> |
|---|
| 54 | <td><code>&*x</code>, or a null pointer |
|---|
| 55 | </tr> |
|---|
| 56 | <tr> |
|---|
| 57 | |
|---|
| 58 | </table> |
|---|
| 59 | |
|---|
| 60 | <hr> |
|---|
| 61 | <p>Revised |
|---|
| 62 | <!--webbot bot="Timestamp" S-Type="EDITED" S-Format="%d %B, %Y" startspan --> |
|---|
| 63 | 18 December, 2003 |
|---|
| 64 | <!--webbot bot="Timestamp" endspan i-checksum="39359" --> |
|---|
| 65 | </p> |
|---|
| 66 | <p><i>© Copyright <a href="../../../../people/dave_abrahams.htm">Dave |
|---|
| 67 | Abrahams</a> 2002-2003. </i> |
|---|
| 68 | |
|---|
| 69 | <p>Permission to copy, use, modify, sell |
|---|
| 70 | and distribute this software is granted provided this copyright notice appears |
|---|
| 71 | in all copies. This software is provided "as is" without express or implied |
|---|
| 72 | warranty, and with no claim as to its suitability for any purpose. |
|---|
| 73 | </body> |
|---|
| 74 | </html> |
|---|
