Akso de la Malbono @Cryolite C++ 初心者なのですが,仮に C++ に UTF-8 の code unit を保持する型を別個の新しい型として追加するとした場合,この型の invariants は何で,その invariants はどう保証されるんです? Akso de la Malbono @Cryolite 「UTF-8文字列である」というinvariantsは文字列のレベルで表現するべきで,「UTF-8のcode unitである」というinvariantsとして補償すべきものがほとんど何もないように思われるので,焦点はUTF-8文字列型をどう実装すべきかであり,UTF-8のcode unitをどう実装すべきかではないように思われる.