Integral Constant: Add missing ::tag requirement

[SVN r34757]
This commit is contained in:
Aleksey Gurtovoy
2006-07-28 06:11:00 +00:00
parent 9595b29dae
commit a51bd538d6

View File

@@ -19,6 +19,8 @@ Expression requirements
+-----------------------------------+---------------------------------------+---------------------------+ +-----------------------------------+---------------------------------------+---------------------------+
| Expression | Type | Complexity | | Expression | Type | Complexity |
+===================================+=======================================+===========================+ +===================================+=======================================+===========================+
| ``n::tag`` | ``integral_c_tag`` | Constant time. |
+-----------------------------------+---------------------------------------+---------------------------+
| ``n::value_type`` | An integral type | Constant time. | | ``n::value_type`` | An integral type | Constant time. |
+-----------------------------------+---------------------------------------+---------------------------+ +-----------------------------------+---------------------------------------+---------------------------+
| ``n::value`` | An integral constant expression | Constant time. | | ``n::value`` | An integral constant expression | Constant time. |
@@ -39,6 +41,9 @@ Expression semantics
+---------------------------------------+-----------------------------------------------------------+ +---------------------------------------+-----------------------------------------------------------+
| Expression | Semantics | | Expression | Semantics |
+=======================================+===========================================================+ +=======================================+===========================================================+
| ``n::tag`` | ``n``\ 's tag type; ``n::tag::value`` is ``n``\ 's |
| | *conversion rank*. |
+---------------------------------------+-----------------------------------------------------------+
| ``n::value_type`` | A cv-unqualified type of ``n::value``. | | ``n::value_type`` | A cv-unqualified type of ``n::value``. |
+---------------------------------------+-----------------------------------------------------------+ +---------------------------------------+-----------------------------------------------------------+
| ``n::value`` | The value of the wrapped integral constant. | | ``n::value`` | The value of the wrapped integral constant. |