C++primer第五版第13小节String类碰到的问题

关于在VecStr类内设置static allocator变量，因为类内只能声明不能定义，所以需要在类外在声明一次编译才能通过，这是上一小节碰到的问题总结的。但是这次编译String类，按照VecStr为模板来改，但是再加上String(const String&);这样的构造函数后，再次使用类似String a（“”asd“”）这样的函数会报错。通过调试注释掉了//String() :element(nullptr), first_free(nullptr) {}加上了String() :String("")
{}这样一个初始化的构造函数。通过调用String(const char*)中的reinitializer函数中的allocator中allocate来分配内存借此初始化类中的allocator类变量，然后主程序编译成功。

以下是String类

#include<memory>

#include<utility>

class String {

public:
String() :String("") {}
//初始化allocator通过String(const char*)构造函数中的reinitilizer函数进行初始化
//String() :element(nullptr), first_free(nullptr) {}
String(const String&);
String &operator=(const String&);
String(const char*);

~String();

size_t size() { return first_free - element; }
size_t length() { return first_free - element - 1; }
char *c_str()const { return element; }
bool empty() { return!size(); }

private:
std::pair<char*, char*> alloc_n_back(const char*, const char*);
void reinitializer(const char*, const char*);
void free();

private:
char *element;
char *first_free;
static std::allocator<char> alloc;

};

std::allocator<char> String::alloc;

std::pair<char*, char*> String::alloc_n_back(const char *b, const char *e)

{
auto data = alloc.allocate(e - b);
return{ data, std::uninitialized_copy(b, e, data) };

}

void String::reinitializer(const char *first, const char *last)

{
auto newdata = alloc_n_back(first, last);
element = newdata.first;
first_free = newdata.second;

}

String::String(const char *s)

{
char *s_1 = const_cast<char*>(s);
while (*s_1++);
reinitializer(s, s_1);

}

String::String(const String &s_1)

{
reinitializer(s_1.element, s_1.first_free);
std::cout << "as" << std::endl;

}

void String::free()

{
if (element)
{
std::for_each(element, first_free, [](char &a) {alloc.destroy(&a); });
//lambda里的&引用符号一定不能忘记
alloc.deallocate(element,first_free-element);
}

}

String::~String()

{
free();

}

String &String::operator=(const String &s_1)

{
auto data = alloc_n_back(s_1.element, s_1.first_free);
free();
element = data.first;
first_free = data.second;
std::cout << "cp-as" << std::endl;
return *this;

}