Akso de la Malbono @Cryolite C++ 初心者なのですが,仮に C++ に UTF-8 の code unit を保持する型を別個の新しい型として追加するとした場合,この型の invariants は何で,その invariants はどう保証されるんです? 2018-12-23 10:16:10 Akso de la Malbono @Cryolite 「UTF-8文字列である」というinvariantsは文字列のレベルで表現するべきで,「UTF-8のcode unitである」というinvariantsとして補償すべきものがほとんど何もないように思われるので,焦点はUTF-8文字列型をどう実装すべきかであり,UTF-8のcode unitをどう実装すべきかではないように思われる. 2018-12-23 10:25:53
![原理主義的に C++ の文字列の扱いを根本から変えるにはどうするべきか - Togetter](https://cdn-ak-scissors.b.st-hatena.com/image/square/344159b576f1476b98d1522cbd02e6414d200cf0/height=288;version=1;width=512/https%3A%2F%2Fs.togetter.com%2Fogp2%2Fb0508df9a421d7b356a67fe40127d8ec-1200x630.png)