07/12/01 14:07:04
>>143-145
もしsplitの引数の型がin char[]だったら、普通に
auto a = split(s);
とできてしまう。
invariant(char)[]だからこそ、危険なキャストのような無茶をしない限り安全。
と言ったほうが分かりやすいかな。
07/12/01 14:07:04
>>143-145
もしsplitの引数の型がin char[]だったら、普通に
auto a = split(s);
とできてしまう。
invariant(char)[]だからこそ、危険なキャストのような無茶をしない限り安全。
と言ったほうが分かりやすいかな。