Это довольно простой вопрос, но я не понимаю, почему приведенный ниже код не компилируется на GCC 4.6.1. Он компилируется на VS 2008 с пакетом обновления 1:
#include <iostream>
class MyClass
{
public:
const static int MinValue = -1000;
const static int MaxValue = 1000;
};
void printValue(int i)
{
std::cout << i << std::endl;
}
int main(int argc, char** argv)
{
printValue(MyClass::MinValue);
printValue(MyClass::MaxValue);
printValue(argc < 42 ? MyClass::MinValue : MyClass::MaxValue); //This line gives the error
}
GCC говорит:
[email protected]:~/temp$ g++ test.cpp
/tmp/ccN2b95G.o: In function `main':
test.cpp:(.text+0x54): undefined reference to `MyClass::MinValue'
test.cpp:(.text+0x5c): undefined reference to `MyClass::MaxValue'
collect2: ld returned 1 exit status
Однако, если я выберу третий вызов "printValue", он строит и работает правильно. Так это как-то связано с "?" оператор... недействительно использовать его так? Кроме того, если я заменил 'argc < 42 'с "истинным" или "ложным", он также отлично работает.
Любые идеи?!
Вам нужно определить ваши статические члены вне объявления класса:
class MyClass
{
public:
const static int MinValue;
const static int MaxValue;
};
//implementation file
const int MyClass::MinValue = -1000;
const int MyClass::MaxValue = 1000;
В соответствии с "Правилом одного определения" переменная должна иметь ровно одно определение, если оно используется как odr. Это определяется стандартом С++ 11:
3.2/2 Переменная или неперегруженная функция, имя которой отображается как потенциально оцениваемое выражение, используется odr, если оно не является объектом, удовлетворяющим требованиям для отображения в постоянном выражении, а преобразование lvalue-to-rvalue немедленно применяется.
и сам ODR:
3.2/3 Каждая программа должна содержать ровно одно определение каждой не-встроенной функции или переменной, которая является odr-используемой в этой программе; не требуется диагностика.
В качестве аргументов вызова функции они не используются odr: они являются константами со значением, указанным в их объявлении, и поэтому могут отображаться в постоянном выражении; и они передаются по значению и поэтому сразу преобразуются в значения r.
Это не тот случай, когда они используются в условном выражении. Поскольку оба значения lvalues относятся к одному и тому же типу, результат условного выражения будет lvalue в соответствии с одним из довольно сложных правил, определяющих условный оператор:
5.16/4 Если второй и третий операнды являются glvalues одной и той же категории значений и имеют один и тот же тип, результат относится к типу и категории значений.
(Это правило допускает выражения типа (a?b:c)=d.)
Таким образом, сами константы не сразу преобразуются в rvalues, и условное выражение не может появляться в постоянном выражении из-за условия выполнения; поэтому они используются как odr и поэтому нуждаются в определении.
Как вы заметили, изменение условия на константное выражение устраняет ошибку ссылки; так что изменит тип одной константы. Но выражение как таковое требует, чтобы у них было определение в одной (и только одной) единицах перевода:
const int MyClass::MinValue;
const int MyClass::MaxValue;
Я собираюсь выйти на конечность и сказать, что это, вероятно, ошибка компилятора с той версией, которую вы используете. Как отметил AzzA в своем комментарии, gcc-4.5.1, похоже, прекрасно его строит, как gcc-4.3.4. Я также просто проверил это с помощью CLang 2.9, и он также принимает код.
В качестве альтернативы вы можете определить свои значения min/max с перечислениями, а не с static const. Это сохранит некоторую типизацию:
#include <iostream>
class MyClass
{
public:
enum { MinValue = -1000, MaxValue = 1000 };
};
void printValue(const int i)
{
std::cout << i << std::endl;
}
int main(int argc, char** argv)
{
printValue(MyClass::MinValue);
printValue(MyClass::MaxValue);
printValue(argc < 42 ? MyClass::MinValue : MyClass::MaxValue);
}