|
1438 | 1438 | \begin{concepttable}{\tcode{EqualityComparable} requirements}{equalitycomparable}
|
1439 | 1439 | {x{1in}x{1in}p{3in}}
|
1440 | 1440 | \topline
|
1441 |
| -Expression & Return type & \multicolumn{1}{c|}{Requirement} \\ \capsep |
| 1441 | +\hdstyle{Expression} & \hdstyle{Return type} & \rhdr{Requirement} \\ \capsep |
1442 | 1442 | \tcode{a == b} &
|
1443 | 1443 | convertible to \tcode{bool} &
|
1444 | 1444 | \tcode{==} is an equivalence relation,
|
|
1457 | 1457 | \begin{concepttable}{\tcode{LessThanComparable} requirements}{lessthancomparable}
|
1458 | 1458 | {x{1in}x{1in}p{3in}}
|
1459 | 1459 | \topline
|
1460 |
| -Expression & Return type & Requirement \\ \capsep |
| 1460 | +\hdstyle{Expression} & \hdstyle{Return type} & \hdstyle{Requirement} \\ \capsep |
1461 | 1461 | \tcode{a < b} &
|
1462 | 1462 | convertible to \tcode{bool} &
|
1463 | 1463 | \tcode{<} is a strict weak ordering relation~(\ref{alg.sorting}) \\
|
|
1468 | 1468 | \begin{concepttable}{\tcode{DefaultConstructible} requirements}{defaultconstructible}
|
1469 | 1469 | {x{2.15in}p{3in}}
|
1470 | 1470 | \topline
|
1471 |
| -Expression & Post-condition \\ \capsep |
| 1471 | +\hdstyle{Expression} & \hdstyle{Post-condition} \\ \capsep |
1472 | 1472 | \tcode{T t;} & object \tcode{t} is default-initialized \\ \rowsep
|
1473 | 1473 | \tcode{T u\{\};} & object \tcode{u} is value-initialized or aggregate-initialized \\ \rowsep
|
1474 | 1474 | \tcode{T()}\br\tcode{T\{\}} & an object of type \tcode{T} is value-initialized
|
|
1479 | 1479 | \begin{concepttable}{\tcode{MoveConstructible} requirements}{moveconstructible}
|
1480 | 1480 | {p{1in}p{4.15in}}
|
1481 | 1481 | \topline
|
1482 |
| -Expression & Post-condition \\ \capsep |
| 1482 | +\hdstyle{Expression} & \hdstyle{Post-condition} \\ \capsep |
1483 | 1483 | \tcode{T u = rv;} & \tcode{u} is equivalent to the value of \tcode{rv} before the construction\\ \rowsep
|
1484 | 1484 | \tcode{T(rv)} &
|
1485 | 1485 | \tcode{T(rv)} is equivalent to the value of \tcode{rv} before the construction \\ \rowsep
|
|
1494 | 1494 | \begin{concepttable}{\tcode{CopyConstructible} requirements (in addition to \tcode{MoveConstructible})}{copyconstructible}
|
1495 | 1495 | {p{1in}p{4.15in}}
|
1496 | 1496 | \topline
|
1497 |
| -Expression & Post-condition \\ \capsep |
| 1497 | +\hdstyle{Expression} & \hdstyle{Post-condition} \\ \capsep |
1498 | 1498 | \tcode{T u = v;} & the value of \tcode{v} is unchanged and is equivalent to \tcode{ u}\\ \rowsep
|
1499 | 1499 | \tcode{T(v)} &
|
1500 | 1500 | the value of \tcode{v} is unchanged and is equivalent to \tcode{T(v)} \\
|
|
1504 | 1504 | \begin{concepttable}{\tcode{MoveAssignable} requirements}{moveassignable}
|
1505 | 1505 | {p{1in}p{1in}p{1in}p{1.9in}}
|
1506 | 1506 | \topline
|
1507 |
| -Expression & Return type & Return value & Post-condition \\ \capsep |
| 1507 | +\hdstyle{Expression} & \hdstyle{Return type} & \hdstyle{Return value} & \hdstyle{Post-condition} \\ \capsep |
1508 | 1508 | \tcode{t = rv} & \tcode{T\&} & \tcode{t} &
|
1509 | 1509 | If \tcode{t} and \tcode{rv} do not refer to the same object,
|
1510 | 1510 | \tcode{t} is equivalent to the value of \tcode{rv} before the assignment\\ \rowsep
|
|
1520 | 1520 | \begin{concepttable}{\tcode{CopyAssignable} requirements (in addition to \tcode{MoveAssignable})}{copyassignable}
|
1521 | 1521 | {p{1in}p{1in}p{1in}p{1.9in}}
|
1522 | 1522 | \topline
|
1523 |
| -Expression & Return type & Return value & Post-condition \\ \capsep |
| 1523 | +\hdstyle{Expression} & \hdstyle{Return type} & \hdstyle{Return value} & \hdstyle{Post-condition} \\ \capsep |
1524 | 1524 | \tcode{t = v} & \tcode{T\&} & \tcode{t} & \tcode{t} is equivalent to \tcode{v}, the value of \tcode{v} is unchanged\\
|
1525 | 1525 | \end{concepttable}
|
1526 | 1526 |
|
1527 | 1527 | \indextext{requirements!\idxcode{Destructible}}
|
1528 | 1528 | \begin{concepttable}{\tcode{Destructible} requirements}{destructible}
|
1529 | 1529 | {p{1in}p{4.15in}}
|
1530 | 1530 | \topline
|
1531 |
| -Expression & Post-condition \\ \capsep |
| 1531 | +\hdstyle{Expression} & \hdstyle{Post-condition} \\ \capsep |
1532 | 1532 | \tcode{u.\~T()} & All resources owned by \tcode{u} are reclaimed, no exception is propagated. \\
|
1533 | 1533 | \end{concepttable}
|
1534 | 1534 |
|
|
0 commit comments