template <class A>
void PrintSz()
{
    TRACE("\n%d",sizeof(A));
};
...

PrintSz<char>();
PrintSz<short>();

Оба раза выдается 2! Если убираю второй вызов, выдается 1.
Visual Studio 6. Что за хрень?!

Здравствуйте, potap, Вы писали:

>Оба раза выдается 2! Если убираю второй вызов, выдается 1.
P>Visual Studio 6. Что за хрень?!

Баг в TRACE?

Здравствуйте, potap, Вы писали:

P>Visual Studio 6. Что за хрень?!

Полностью согласен.

You will always get what you always got
  If you always do  what you always did

AD>Баг в TRACE?
нет, TRACE нормально работает. По другим признакам (оператор ++ скачет по 2 байта) тоже видно что передается неправильный тип — short

Здравствуйте, potap, Вы писали:

P>Оба раза выдается 2! Если убираю второй вызов, выдается 1.
P>Visual Studio 6. Что за хрень?!

Именно эта хрень: VC6.
Там баг в компиляторе, который создаёт одинаковые декорированные имена для всех воплощений шаблона (а возможно, что и для всех специализаций — этого я уже не помню).
Поскольку шаблонные функции — инлайны, то линкер случайным образом оставляет один экземпляр из всех одинаково названных.

Чтобы побороть эту беду, нужно или слезть с шестёрки, или сделать так, чтобы у каждой функции была уникальная сигнатура. Например,

template<class A>
void PrintSz(A* dummy = 0)
{
  printf("\n%d", sizeof(A));
}

потому что сигнатуры, слава богу, учитываются при декорировании.

(Хотя и сигнатуры можно отринуть, если сделать extern "C" но это уже из серии — как назло всем прострелить себе ногу).

К>Именно эта хрень: VC6.
К>Там баг в компиляторе,
К> уникальная сигнатура. Например,
К>

К>template<class A>
К>void PrintSz(A* dummy = 0)
К>{
К>  printf("\n%d", sizeof(A));
К>}
К>

прикольный обход
спасибо, так пожалуй и поступлю

Здравствуйте, potap, Вы писали:

P>прикольный обход
P>спасибо, так пожалуй и поступлю

Есть ещё один способ: сделать функцию (статическим) членом класса.
Т.е. чтобы свободные параметры шаблона относились не к шаблону функции, а к шаблону класса

template<class A>
struct PrintSz
{
  static void doit() { ..... }; // имеет тип void()
  void operator() const { doit(); }
};

int main()
{
  void(* p[2] ) () = { PrintSz<char>::doit, PrintSz<short>::doit }; // однотипность пригодится, например, здесь
  PrintSz<int>()(); // а оператор - здесь: меньше букв, меньше идентификаторов
}

Здравствуйте, potap, Вы писали:


P>

P>template <class A>
P>void PrintSz()
P>{
P>    TRACE("\n%d",sizeof(A));
P>};
P>...

P>PrintSz<char>();
P>PrintSz<short>();
P>

P>Оба раза выдается 2! Если убираю второй вызов, выдается 1.
P>Visual Studio 6. Что за хрень?!

Дык ведь это ж старая известная болячка msvc, которую толком починили только в 7.1(2003). Все дело в том, что в 6.0 параметры шаблонных функций не влияют на их сигнатуру. Поэтому в данном случае все работает по принципу "кто первый встал, того и тапки" (какая функция первой проинстанцировалась, та и будет использоваться дальше). Помнится, мы боролись с этим, добавляя фиктивный формальный параметр (как правило указатель соответствующего типа) со значением по умолчанию. Попробуй сделать так же:

template <class A>
void PrintSz(A* dummy = 0)
{
    TRACE("\n%d",sizeof(A));
};

Здравствуйте, Кодт, Вы писали:

К>Именно эта хрень: VC6.
К>Там баг в компиляторе, который создаёт одинаковые декорированные имена для всех воплощений шаблона (а возможно, что и для всех специализаций — этого я уже не помню).
К>Поскольку шаблонные функции — инлайны, то линкер случайным образом оставляет один экземпляр из всех одинаково названных.

К>Чтобы побороть эту беду, нужно или слезть с шестёрки, или сделать так, чтобы у каждой функции была уникальная сигнатура. Например,
К>

К>template<class A>
К>void PrintSz(A* dummy = 0)
К>{
К>  printf("\n%d", sizeof(A));
К>}
К>

Упс! Пардон, не заметил вовремя твой пост. Забавно, что имена формальных параметров совпали

Здравствуйте, rg45, Вы писали:

R>Упс! Пардон, не заметил вовремя твой пост. Забавно, что имена формальных параметров совпали
Забавно, что можно вообще без них: void foo(A* =0)

Здравствуйте, flаt, Вы писали:

R>>Упс! Пардон, не заметил вовремя твой пост. Забавно, что имена формальных параметров совпали
F>Забавно, что можно вообще без них: void foo(A* =0)

Это-то понятно, просто я не был уверен, что VC6.0 допускает такой синтаксис, времени-то порядочно прошло с тех пор.