| 717 | |
| 718 | template<typename CharT1, typename CharT2> |
| 719 | inline std::basic_string<CharT1> |
| 720 | operator+( std::basic_string<CharT1> const& lhs, basic_cstring<CharT2> const& rhs ) |
| 721 | { |
| 722 | std::basic_string<CharT1> res( lhs ); |
| 723 | |
| 724 | res.append( rhs.begin(), rhs.end() ); |
| 725 | return res; |
| 726 | } |
| 727 | |
| 728 | //____________________________________________________________________________// |
| 729 |