<div class="chatlog__message-group"> <div id="chatlog__message-container-425184969162358795" class="chatlog__message-container" data-message-id="425184969162358795"> <div class="chatlog__message"> <div class="chatlog__message-aside"><img class="chatlog__avatar" src="https://cdn.discordapp.com/avatars/296587674737704960/5d3c584499ce245b7129cda8c7ae00e9.png?size=512" alt="Avatar" loading="lazy"></div> <div class="chatlog__message-primary"> <div class="chatlog__header"><span class="chatlog__author" title="_rintaro" data-user-id="296587674737704960">rintaro</span> <a href="/channels/395565273236897792?category=main&channel=swift-contrib&message_id=425184969162358795"><span class="chatlog__timestamp" title="Monday, March 19, 2018 6:53 AM"></span></a><a href="#chatlog__message-container-425184969162358795">3/19/2018 6:53 AM</a></div> <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve">Mangler/Demangler の対という事に関しては、 Demangler は結局 <code class="chatlog__markdown-pre chatlog__markdown-pre--inline">char</code> での <code class="chatlog__markdown-pre chatlog__markdown-pre--inline">switch</code> で分岐しまくるのが一番速度が出るわけで、定数化するメリットは感じずらいことが多いと思う。</span> <span class="chatlog__edited-timestamp" title="Monday, March 19, 2018 6:54 AM">(edited)</span></div> </div> </div> </div> </div>