/// <summary>Writes a char encoded in UTF-8</summary>
public static void WriteChar(ref SliceWriter writer, char value)
{
if (value == 0)
{ // NUL => "00 0F"
// note: \0 is the only unicode character that will produce a zero byte when converted in UTF-8
writer.WriteByte4(FdbTupleTypes.Utf8, 0x00, 0xFF, 0x00);
}
else if (value < 0x80)
{ // 0x00..0x7F => 0xxxxxxx
writer.WriteByte3(FdbTupleTypes.Utf8, (byte)value, 0x00);
}
else if (value < 0x800)
{ // 0x80..0x7FF => 110xxxxx 10xxxxxx => two bytes
writer.WriteByte4(FdbTupleTypes.Utf8, (byte)(0xC0 | (value >> 6)), (byte)(0x80 | (value & 0x3F)), 0x00);
}
else
{ // 0x800..0xFFFF => 11110xxx 10xxxxxx 10xxxxxx 10xxxxxx
// note: System.Char is 16 bits, and thus cannot represent UNICODE chars above 0xFFFF.
// => This means that a System.Char will never take more than 3 bytes in UTF-8 !
var tmp = Encoding.UTF8.GetBytes(new string(value, 1));
writer.EnsureBytes(tmp.Length + 2);
writer.UnsafeWriteByte(FdbTupleTypes.Utf8);
writer.UnsafeWriteBytes(tmp, 0, tmp.Length);
writer.UnsafeWriteByte(0x00);
}
}