Делегирующие конструкторы
Многие классы имеют несколько конструкторов, которые выполняют аналогичные действия, например проверяйте параметры:
class class_c {
public:
int max;
int min;
int middle;
class_c() {}
class_c(int my_max) {
max = my_max > 0 ? my_max : 10;
}
class_c(int my_max, int my_min) {
max = my_max > 0 ? my_max : 10;
min = my_min > 0 && my_min < max ? my_min : 1;
}
class_c(int my_max, int my_min, int my_middle) {
max = my_max > 0 ? my_max : 10;
min = my_min > 0 && my_min < max ? my_min : 1;
middle = my_middle < max && my_middle > min ? my_middle : 5;
}
};
Вы можете уменьшить повторяющийся код, добавив функцию, которая выполняет всю проверку, но код class_c
будет проще понять и поддерживать, если один конструктор может делегировать некоторые работы другому. Чтобы добавить делегированные конструкторы, используйте constructor (. . .) : constructor (. . .)
синтаксис:
class class_c {
public:
int max;
int min;
int middle;
class_c(int my_max) {
max = my_max > 0 ? my_max : 10;
}
class_c(int my_max, int my_min) : class_c(my_max) {
min = my_min > 0 && my_min < max ? my_min : 1;
}
class_c(int my_max, int my_min, int my_middle) : class_c (my_max, my_min){
middle = my_middle < max && my_middle > min ? my_middle : 5;
}
};
int main() {
class_c c1{ 1, 3, 2 };
}
Пошагов в предыдущем примере, обратите внимание, что конструктор class_c(int, int, int)
сначала вызывает конструктор class_c(int, int)
, который в свою очередь вызывает class_c(int)
. Каждый из конструкторов выполняет только работу, которая не выполняется другими конструкторами.
Первый конструктор, который называется инициализирует объект, чтобы все его члены инициализированы в этот момент. Не удается выполнить инициализацию элементов в конструкторе, который делегирует другому конструктору, как показано ниже:
class class_a {
public:
class_a() {}
// member initialization here, no delegate
class_a(string str) : m_string{ str } {}
//can't do member initialization here
// error C3511: a call to a delegating constructor shall be the only member-initializer
class_a(string str, double dbl) : class_a(str) , m_double{ dbl } {}
// only member assignment
class_a(string str, double dbl) : class_a(str) { m_double = dbl; }
double m_double{ 1.0 };
string m_string;
};
В следующем примере показано использование инициализаторов элементов данных, не являющихся статическими. Обратите внимание, что если конструктор также инициализирует заданный элемент данных, инициализатор элементов переопределяется:
class class_a {
public:
class_a() {}
class_a(string str) : m_string{ str } {}
class_a(string str, double dbl) : class_a(str) { m_double = dbl; }
double m_double{ 1.0 };
string m_string{ m_double < 10.0 ? "alpha" : "beta" };
};
int main() {
class_a a{ "hello", 2.0 }; //expect a.m_double == 2.0, a.m_string == "hello"
int y = 4;
}
Синтаксис делегирования конструктора не предотвращает случайное создание рекурсии конструктора — конструктор1 вызывает Конструктор2, который вызывает Конструктор1, и никаких ошибок не возникают, пока не будет переполнения стека. Это ваша ответственность, чтобы избежать циклов.
class class_f{
public:
int max;
int min;
// don't do this
class_f() : class_f(6, 3){ }
class_f(int my_max, int my_min) : class_f() { }
};
Обратная связь
https://aka.ms/ContentUserFeedback.
Ожидается в ближайшее время: в течение 2024 года мы постепенно откажемся от GitHub Issues как механизма обратной связи для контента и заменим его новой системой обратной связи. Дополнительные сведения см. в разделеОтправить и просмотреть отзыв по