|
2040 | 2040 | has a non-throwing exception specification.
|
2041 | 2041 | If the function call operator is a static member function,
|
2042 | 2042 | then the value returned by this conversion function is
|
2043 |
| -the address of the function call operator. |
| 2043 | +a pointer to the function call operator. |
2044 | 2044 | Otherwise, the value returned by this conversion function
|
2045 |
| -is the address of a function \tcode{F} that, when invoked, |
| 2045 | +is a pointer to a function \tcode{F} that, when invoked, |
2046 | 2046 | has the same effect as invoking the closure type's function call operator
|
2047 | 2047 | on a default-constructed instance of the closure type.
|
2048 | 2048 | \tcode{F} is a constexpr function
|
|
2115 | 2115 | If the function call operator template is a static member function template,
|
2116 | 2116 | then the value returned by
|
2117 | 2117 | any given specialization of this conversion function template is
|
2118 |
| -the address of the corresponding function call operator template specialization. |
| 2118 | +a pointer to the corresponding function call operator template specialization. |
2119 | 2119 | Otherwise,
|
2120 | 2120 | the value returned by any given specialization of this conversion function
|
2121 |
| -template is the address of a function \tcode{F} that, when invoked, has the same |
| 2121 | +template is a pointer to a function \tcode{F} that, when invoked, has the same |
2122 | 2122 | effect as invoking the generic lambda's corresponding function call operator
|
2123 | 2123 | template specialization on a default-constructed instance of the closure type.
|
2124 | 2124 | \tcode{F} is a constexpr function
|
|
7777 | 7777 | it does not have an indeterminate value\iref{basic.indet},
|
7778 | 7778 |
|
7779 | 7779 | \item
|
7780 |
| - if the value is of pointer type, it contains |
7781 |
| - the address of an object with static storage duration, |
7782 |
| - the address past the end of such an object\iref{expr.add}, |
7783 |
| - the address of a non-immediate function, |
| 7780 | + if the value is of pointer type, it is |
| 7781 | + a pointer to an object with static storage duration, |
| 7782 | + a pointer past the end of such an object\iref{expr.add}, |
| 7783 | + a pointer to a non-immediate function, |
7784 | 7784 | or a null pointer value,
|
7785 | 7785 |
|
7786 | 7786 | \item
|
|
0 commit comments