|
256 | 256 | \pnum
|
257 | 257 | The macro
|
258 | 258 | \indexlibrary{\idxcode{offsetof}}%
|
259 |
| -\tcode{offsetof}(\textit{type}, |
260 |
| -\grammarterm{member-designator}) |
| 259 | +\tcode{offsetof}(\placeholder{type}, |
| 260 | +\placeholder{member-designator}) |
261 | 261 | has the same semantics as the corresponding macro in
|
262 | 262 | the C standard library header \tcode{<stddef.h>}, but
|
263 |
| -accepts a restricted set of \textit{type} |
| 263 | +accepts a restricted set of \placeholder{type} |
264 | 264 | arguments in this International Standard.
|
265 |
| -Use of the \tcode{offsetof} macro with a \textit{type} |
| 265 | +Use of the \tcode{offsetof} macro with a \placeholder{type} |
266 | 266 | other than a standard-layout class (Clause~\ref{class})
|
267 | 267 | is conditionally-supported.\footnote{Note that \tcode{offsetof}
|
268 | 268 | is required to work as specified even if unary
|
269 | 269 | \tcode{operator\&}
|
270 | 270 | is overloaded for any of the types involved.}
|
271 |
| -The expression \tcode{offsetof}(\textit{type}, \grammarterm{member-designator}) |
| 271 | +The expression \tcode{offsetof}(\placeholder{type}, \placeholder{member-designator}) |
272 | 272 | is never type-dependent~(\ref{temp.dep.expr}) and it is
|
273 |
| -value-dependent~(\ref{temp.dep.constexpr}) if and only if \textit{type} is |
| 273 | +value-dependent~(\ref{temp.dep.constexpr}) if and only if \placeholder{type} is |
274 | 274 | dependent. The result of applying the \tcode{offsetof} macro to
|
275 | 275 | a static data member or a function member is undefined.
|
276 | 276 | No operation invoked by the \tcode{offsetof} macro shall throw an exception and
|
277 |
| -\tcode{noexcept(offsetof(type, member-designator))} shall be \tcode{true}. |
| 277 | +\tcode{noexcept(offsetof(\placeholder{type}, \placeholder{member-designator}))} shall be \tcode{true}. |
278 | 278 |
|
279 | 279 | \pnum
|
280 | 280 | The type \tcode{ptrdiff_t} is an
|
|
0 commit comments