convert_to_shared とかも考えないではなかったが、問題は
* convert 元が (&str とかでなく) Rc<str> や Arc<str> のような既に "shared" なものであることに意義があると表現できない
* 戻り値が単なる shared なものではなく pool 中のものを返しているということを名前で表現できていない
あたり
動作としては
* 渡された smart ptr が pool 中に登録されている文字列と全く同じアドレスを指すものなら、そのまま返す
* 同じ文字列が登録されているがアドレスが違うなら、プールで持っている文字列のアドレスを参照する smart ptr を返す
* 未登録の文字列なら登録して、プールで持っている文字列のアドレスを参照する smart ptr を返す
という感じ
If you have a fediverse account, you can quote this note from your own instance. Search https://mastodon.cardina1.red/users/lo48576/statuses/114686245483162151 on your instance and quote it. (Note that quoting is not supported in Mastodon.)