Когда я компилирую следующий фрагмент с g++
template<class T>
class A
{};
template<class T>
class B
{
public:
typedef A<T> A;
};
компилятор говорит мне
error: declaration of ‘typedef class A<T> B<T>::A’
error: changes meaning of ‘A’ from ‘class A<T>’
С другой стороны, если я изменю typedef на
typedef ::A<T> A;
все отлично компилируется с g++. Clang++ 3.1 все равно.
Почему это происходит? А второй стандарт поведения?
g++ корректен и соответствует стандарту. Из [3.3.7/1]:
Имя N, используемое в классе S, должно ссылаться на одно и то же объявление в его контексте и при повторной оценке в завершенной области действия S. Для нарушения этого правила диагностика не требуется.
До typedef A ссылался на ::A, однако, используя typedef, теперь вы заставляете A ссылаться на typedef, что запрещено. Однако, начиная с no diagnostic is required, clang также соответствует стандарту.
комментарий jogojapan объясняет причину этого правила. Внесите следующие изменения в свой код:
template<class T>
class A
{};
template<class T>
class B
{
public:
A a; // <-- What "A" is this referring to?
typedef A<T> A;
};
Из-за того, как работает область класса, A a; становится неоднозначным.
A, а ::A. Вторая форма правильная.
- person Lily Ballard; 30.08.2012
A не меняется.
- person Jesse Good; 30.08.2012
<T> не имеет значения, имя шаблона A. Думайте об этом с точки зрения функций, в объявлении void foo(); имя функции foo, () не является частью имени.
- person Jesse Good; 30.08.2012
A, и здесь важно то, к чему относится это имя внутри класса.
- person Jesse Good; 30.08.2012
typedef ::A<T> A действительно меняет значение A, как и typedef A<T> A. Во-вторых, если вы сделаете typedef int X; на глобальном уровне, а затем typedef float X; внутри определения класса, это изменит значение X, но проблем не возникнет. Использование typedef для переопределения значения имени в отдельной области (в данном случае в области класса) совершенно нормально. (Конечно, это также сбивает с толку, и я бы не рекомендовал этого делать.)
- person jogojapan; 30.08.2012
typedef ::A<T> A не меняет того, что A относится. Ты бы согласился с этим? Как из стандартной цитаты: shall **refer to** the same declaration
- person Jesse Good; 30.08.2012
X, чтобы это стало ошибкой. см. здесь.
- person Jesse Good; 30.08.2012
typedef ::A<T> A;, а затем позже (например, где-то в функции-члене, возможно, вне определения класса) делаете A a;, то это A будет ссылаться на имя типа ::A<T>, а не на имя шаблона ::A, поэтому оно изменено. Или, возможно, я неправильно понимаю, что означает сослаться в данном случае.
- person jogojapan; 30.08.2012
X определяется как float в классе, и из-за того, как работает область действия класса (о чем и говорится в §3.3.7/1). ), это определение должно распространяться на всю область действия класса, включая отдельно определенные функции-члены и включая все, что найдено до фактического определения типа. Таким образом, объявление X x становится неоднозначным. (Вы получите ту же проблему, если у вас есть typedef ::A<T> A; и вы поместите элемент A a; (или A<T> a;) перед typedef.)
- person jogojapan; 30.08.2012
typedef ::A<T> A; не меняет того, на что ссылается A. Но это меняет его. Так что это не может быть причиной сообщения об ошибке GCC. (Вы говорите, что typedef A<T> A (в отличие от typedef ::A<T> A и в отличие от typedef float X) является рекурсивным в том смысле, что определение содержит определение. Поэтому, возможно, эта рекурсивность является причиной сообщения об ошибке. Но это не то, что говорится в ответе выше, это Это?)
- person jogojapan; 09.05.2013
Я добавлю к ответу Джесси о, казалось бы, своеобразном поведении GCC при компиляции:
typedef A<T> A;
vs
typedef ::A<T> A;
Это также относится к использованию операторов в форме:
using A = A<T>;
using A = ::A<T>;
Кажется, что в GCC происходит то, что во время компиляции оператора typedef/using, объявляющего B::A, символ B::A становится допустимым кандидатом внутри самого оператора using. т.е. при произнесении using A = A<T>; или typedef A<T> A; GCC считает как ::A, так и B::A допустимыми кандидатами на A<T>.
Это кажется странным поведением, потому что, как следует из вашего вопроса, вы не ожидаете, что новый псевдоним A станет допустимым кандидатом в самом typedef, но, как также говорит ответ Джесси, все, что объявлено в классе, становится видимым для всего остального внутри класса - и в этом случае, по-видимому, даже сама декларация. Этот тип поведения может быть реализован таким образом, чтобы разрешить определение рекурсивного типа.
Решение, которое вы нашли, состоит в том, чтобы указать для GCC, какой именно A вы имеете в виду в typedef, и тогда он больше не жалуется.
Aиспользуется до объявления локальногоA, возникает эта ошибка. При этом любое использованиеA(объявление члена) доtypedef ::A<T> A; выдаст ту же ошибку. Перемещение объявления ниже изменитAна локальное, а также исправит ошибку. То же самое и сtypedef A<T> A, вы используете глобальноеAраньше, слева, а затем сразу же повторно объявляете его справа. Это просто g++, гарантирующий, что все вхожденияAв классе будут иметь одно и то же значение (не::A, это не меняется). - person the swine schedule 29.03.2016