tmp/tmppcqudc3p/{from.md → to.md}
RENAMED
|
@@ -2,11 +2,11 @@
|
|
| 2 |
|
| 3 |
``` cpp
|
| 4 |
template<class Facet> const Facet& use_facet(const locale& loc);
|
| 5 |
```
|
| 6 |
|
| 7 |
-
*
|
| 8 |
public static member `id` as defined in [[locale.facet]].
|
| 9 |
|
| 10 |
*Returns:* A reference to the corresponding facet of `loc`, if present.
|
| 11 |
|
| 12 |
*Throws:* `bad_cast` if `has_facet<Facet>(loc)` is `false`.
|
|
|
|
| 2 |
|
| 3 |
``` cpp
|
| 4 |
template<class Facet> const Facet& use_facet(const locale& loc);
|
| 5 |
```
|
| 6 |
|
| 7 |
+
*Mandates:* `Facet` is a facet class whose definition contains the
|
| 8 |
public static member `id` as defined in [[locale.facet]].
|
| 9 |
|
| 10 |
*Returns:* A reference to the corresponding facet of `loc`, if present.
|
| 11 |
|
| 12 |
*Throws:* `bad_cast` if `has_facet<Facet>(loc)` is `false`.
|