Перегрузка функции-члена на основе типов примитивов с определенными пространствами имен

Question

Перегрузка функции-члена на основе типов примитивов с определенными пространствами имен

0

Следующий код не скомпилирован с g++ 4.8, как в С++ 03, так и в С++ 11

namespace N {typedef int A;}
namespace NN {typedef int A;}

struct Z
{
    void foo(N::A){}
    void foo(NN::A){}
};

Ошибка

d.cpp:7:10: erreur: ‘void Z::foo(NN::A) cannot be overloaded
     void foo(NN::A){}};
          ^
d.cpp:6:6: erreur: with ‘void Z::foo(N::A)
 void foo(N::A){}

Я всегда думал, что типы в разных пространствах имен являются разными типами, независимо от того, что. Но, похоже, нет. Я чувствую, что в конце компилятор избавляется от пространства имен /typedef и фокусируется на базовом типе, и он сталкивается.

Я прав? У вас есть обходной путь?

Davidbrcz 11 нояб. 2014, в 18:15

Источник

Теги:

c++

namespaces

overloading

typedef

2 ответа

Ещё вопросы

Kerrek SB · Answer 1 · 2014-11-11T15-03-00.000Z

2

Типы не живут в пространствах имен. Имена действительно. Вы перегружаете типы, а не имена.

Kerrek SB 11 нояб. 2014, в 15:03

0

Поправьте меня, если я ошибаюсь, но у типов есть имя, и, следовательно, оно также живет в пространстве имен, не так ли?
Davidbrcz 11 нояб. 2014, в 17:08
1

@Davidbrcz: Вы ошибаетесь. Типы могут иметь более одного имени; это то, что делает typedef.
rici 11 нояб. 2014, в 17:09
0

@rici: Типы также могут не иметь имени, например, типы лямбда-выражений. Вы можете дать им имя ( decltype или путем привязки к параметру шаблона), но это не обязательно.
Kerrek SB 11 нояб. 2014, в 17:47
0

@KerrekSB: действительно. Ограничение состоит в том, что как только имя связано с типом, оно должно оставаться связанным с тем же типом для остальной части программы («диагностика не требуется»).
rici 11 нояб. 2014, в 18:17

Показать ещё 2 комментария

Laura Maftei · Answer 2 · 2014-11-11T15-39-00.000Z

typedef - это просто другое имя для того же типа. Вы можете перегружать только разные типы.