Использование нестатического значения в качестве аргумента по умолчанию в функции
Есть ли хороший способ иметь нестатическое значение в качестве аргумента по умолчанию в функции? Я видел несколько более старых ответов на один и тот же вопрос, которые всегда заканчивались явным описанием перегрузки. Это все еще необходимо в С++ 17?
То, что я хотел бы сделать, это сделать что-то похожее на
class C {
const int N; //Initialized in constructor
void foo(int x = this->N){
//do something
}
}
вместо того, чтобы писать
class C {
const int N; //Initialized in constructor
void foo(){
foo(N);
}
void foo(int x){
//do something
}
}
что делает цель перегрузки менее очевидной.
«Не совсем» — вот краткий ответ. В прошлом, в подобных ситуациях, я заканчивал тем, что либо подлизывался и объявлял перегрузку (полагаясь на компилятор для оптимизации вызова дополнительной функции), либо каким-то образом изменял параметры, которые передаются, чтобы исключить явное значение по умолчанию. .
@gsamaras Спасибо! Я полагаю, это означает, что проблема не может быть решена без нарушения обратной совместимости.
@DeinFreund Я не знаю, может быть, std::optional мог бы прийти на помощь, но я бы последовал совету Сэма и провел рефакторинг.
Что делать, если N является статическим?
@MichaelChourdakis, тогда это совсем другой вопрос. :)
Если N является статическим, можно использовать N. Вопрос, вероятно, также следует читать как нестатический член, потому что значение не обязательно должно быть статическим, оно просто не может быть нестатическим значением члена.
Ответы 1
Одним относительно элегантным способом (на мой взгляд) было бы использовать std::optional для принятия аргумента, а если аргумент не был предоставлен, использовать значение по умолчанию из объекта:
class C {
const int N_; // Initialized in constructor
public:
C(int x) :N_(x) {}
void foo(std::optional<int> x = std::nullopt) {
std::cout << x.value_or(N_) << std::endl;
}
};
int main() {
C c(7);
c.foo();
c.foo(0);
}
Вы можете найти полное объяснение того, что работает/не работает в разделе 11.3.6 стандарта. В подразделе 9 описывается доступ к членам (отрывок):
A non-static member shall not appear in a default argument unless it appears as the id-expressionof a class member access expression (8.5.1.5) or unless it is used to form a pointer to member (8.5.2.1).[Example:The declaration of X::mem1()in the following example is ill-formed because no object is supplied for the non-static memberX::a used as an initializer.
int b;
class X {
int a;
int mem1(int i = a);// error: non-static memberaused as default argument
int mem2(int i = b);// OK; useX::b
static int b;
};
Разве это не заменяет дифференциацию времени компиляции на условное время выполнения, что повлияет на производительность? Я также не хотел бы добавлять список нулей к вызову функции.
Возможно, это так, но это часто может быть оптимизировано компилятором (godbolt.org/z/7HcJnQ). Я не уверен, что вы подразумеваете под списком нулей tbh, но, очевидно, есть некоторые компромиссы, и если вы хотите, чтобы это было видно во время компиляции, перегрузки, вероятно, ваш лучший вариант. Это также можно сделать с помощью магии шаблонов: github.com/rmpowell77/LIAW_2017_param, но это требует нетривиального количества метапрограммирования, и в настоящее время это все еще нелегко сделать.
Я бы просто изменил void foo(std::optional<int> x) на void foo(std::optional<int> x = std::nullopt) , так как это позволило бы выполнять вызов без необязательных аргументов.
Хороший вопрос, показывает исследования, прежде чем задать. Причины, по которым это невозможно: здесь. Однако я не знаю о чем-то конкретном для С++ 17..