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