std：：char_traits：：assign()的目的是什么？

Question

void assign(char_type& to, char_type from);

为什么不能只使用赋值运算符而不使用此函数？这是用来干什么的？

Answer 1

实际上，每次使用 std：：string :)时都会使用此函数。 std：：string 实际上是 std：：basic_string 的类型定义，定义为：

template< 
    class CharT, 
    class Traits = std::char_traits<CharT>, 
    class Allocator = std::allocator<CharT>
> class basic_string;

（见此）。 请特别注意特征模板参数。 如果您倾向于这样做，则 Traits 模板参数允许您自定义字符串类行为的某些属性。 其中一个属性是进行分配时发生的情况。

下面是一个示例用法。 它将强制分配为小写。

#include <string>
#include <iostream>
#include <cctype>
struct ci_char_traits : public std::char_traits<char> {
    static void assign(char& r, const char& a)
    {
        r = std::tolower(a);
    }
    static char* assign(char* p, std::size_t count, char a)
    {
        for (std::size_t i = 0; i < count; ++i)
        {
            p[i] = std::tolower(a);
        }
    }
};
typedef std::basic_string<char, ci_char_traits> ci_string;
std::ostream& operator<<(std::ostream& os, const ci_string& str) {
    return os.write(str.data(), str.size());
}
int main()
{
    ci_string s1 = "Hello";
    // This will become a lower-case 'o'
    s1.push_back('O');
    // Will replace 'He' with lower-case 'a'
    s1.replace(s1.begin(), s1.begin()+2, 1, 'A');
    std::cout << s1 << std::endl;
}

Answer 2

这是因为字符特征是生成标准类（如字符串）变体的一种方式，而基元类型的运算符实际上可能不是您想要的。

例如，考虑一个存储不区分大小写的字符串的类;您可以以存储大写字母及其小写版本相同内容的方式实现assign()。 （就此而言，其他字符特征操作（如相等）也必须被覆盖。

Answer 3

您可以编写自己的字符类，并定义其operator= 。但是，您可能会发现使用基本字符类型（如 char、wchar_t、char16_t、char32_t 或 char8_t）很方便。此类非类类型不允许重载其运算符，因此char_traits提供了一种自定义其一小组常见操作的方法（例如，如其他答案中所建议的，这可能允许不区分大小写的字符操作）。

template < 
  class CharT, 
  class Traits = std::char_traits<CharT>, 
  class Allocator = std::allocator<CharT>
> class basic_string;

std::basic_string是一个很好的例子;第二个模板参数 Traits 允许访问此类自定义。还考虑第三个模板参数 Allocator ，它允许std::basic_string的用户自定义内部分配内存的方式。这可能会导致类似的问题：为什么不直接使用operator new？

不太重要，但也要注意 C++20 引入了 std::char_traits<CharT>::assign 的第二次重载：

static constexpr char_type* assign(char_type* p, std::size_t count, char_type a);