Add static_asserts to basic_ios and basic_stream_buf to ensure that that the traits match the character type. This is a requirement on the user - now we get consistent failures at compile time instead of incomprehensible error messages or runtime failures. This is also LWG#2994 - not yet adopted.

git-svn-id: https://llvm.org/svn/llvm-project/libcxx/trunk@323945 91177308-0d34-0410-b5e6-96231b3b80d8
2018-02-01 03:55:27 +00:00
parent 37e4c9b159
commit 75075c6be0
7 changed files with 139 additions and 0 deletions
--- a/include/streambuf
+++ b/include/streambuf
@@ -132,6 +132,9 @@ public:
    typedef typename traits_type::pos_type pos_type;
    typedef typename traits_type::off_type off_type;

+    static_assert((is_same<_CharT, typename traits_type::char_type>::value),
+                  "traits_type::char_type must be the same type as CharT");
+
    virtual ~basic_streambuf();

    // 27.6.2.2.1 locales: