tmp/tmp8se0s08j/{from.md → to.md}
RENAMED
|
@@ -4,12 +4,13 @@
|
|
| 4 |
namespace std {
|
| 5 |
template <class charT>
|
| 6 |
class numpunct_byname : public numpunct<charT> {
|
| 7 |
// this class is specialized for char and wchar_t.
|
| 8 |
public:
|
| 9 |
-
|
| 10 |
-
|
|
|
|
| 11 |
explicit numpunct_byname(const char*, size_t refs = 0);
|
| 12 |
explicit numpunct_byname(const string&, size_t refs = 0);
|
| 13 |
protected:
|
| 14 |
~numpunct_byname();
|
| 15 |
};
|
|
|
|
| 4 |
namespace std {
|
| 5 |
template <class charT>
|
| 6 |
class numpunct_byname : public numpunct<charT> {
|
| 7 |
// this class is specialized for char and wchar_t.
|
| 8 |
public:
|
| 9 |
+
using char_type = charT;
|
| 10 |
+
using string_type = basic_string<charT>;
|
| 11 |
+
|
| 12 |
explicit numpunct_byname(const char*, size_t refs = 0);
|
| 13 |
explicit numpunct_byname(const string&, size_t refs = 0);
|
| 14 |
protected:
|
| 15 |
~numpunct_byname();
|
| 16 |
};
|