Этот прекрасный код вызывает у микрософтовского компилятора разрыв шаблона:

#include "string"

template<class Type, class ObjectType, template<class> class Traits, template<class> class AllocatorType>
void ToString(const ObjectType & object, std::basic_string<Type, Traits<Type>, AllocatorType<Type> > * pStr)
{
}

template<class Type, template<class> class Traits, template<class> class AllocatorType>
void ToString(int object, std::basic_string<Type, Traits<Type>, AllocatorType<Type> > * pStr)
{
}

int main()
{
    int val = 0;
    std::string str;
    ToString(val, &str);
    return 0;
}

Попробовал на версиях 7.1, 9.0, 10.0, результат один и тот же:

d:\Projects\test\main.cpp(17) : fatal error C1001: INTERNAL COMPILER ERROR
(compiler file 'msc1.cpp', line 2701)
Please choose the Technical Support command on the Visual C++
Help menu, or open the Technical Support help file for more information

Самое прекрасное в этом баге то, что если поменять местами в первой функции Type и ObjectType местами, например, так:

template<class ObjectType, class Type, template<class> class Traits, template<class> class AllocatorType>
void ToString(const ObjectType & object, std::basic_string<Type, Traits<Type>, AllocatorType<Type> > * pStr) ..

то он воспроизводиться не будет.
Форму, куда сабмитить баг я вроде бы нашел.
Но у меня возник вопрос, может его уже кто-то сабмитил? можно ли где-то посмотреть список багов на MS С++ компиляторы?

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

L>Этот прекрасный код вызывает у микрософтовского компилятора разрыв шаблона:

Оффтопик: будьте проще, и люди потянутся.

L>#include "string"

L>template<class Type, class ObjectType, class Traits_by_Type, class Allocator_by_Type>
L>void ToString(const ObjectType & object, std::basic_string<Type, Traits_by_Type, Allocator_by_Type> * pStr)
L>{
L>}

L>template<class Type, class Traits_by_Type, class Allocator_by_Type>
L>void ToString(int object, std::basic_string<Type, Traits_by_Type, Allocator_by_Type> * pStr)
L>{
L>}

L>int main()
L>{
L>    int val = 0;
L>    std::string str;
L>    ToString(val, &str);
L>    return 0;
L>}

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

L>Этот прекрасный код вызывает у микрософтовского компилятора разрыв шаблона:

Попробовал сделать дистиллированный код

template<class T> struct tr {};
template<class C, class Tr=tr<C> > struct str {};

template<class C, class SRC, template<class> class TR>
void tostring(const SRC& src, str< C,TR<C> >* dst)
{}

template<class C, template<class> class TR>
void tostring(int src, str< C,TR<C> >* dst)
{}

int main()
{
    int src = 0;
    str<char> dst;
    tostring(src, &dst);
    return 0;
}

ICE воспроизводится.
Пропадает, если
— в первой перегрузке tostring(SRC,...) вынести class SRC первым параметром
— перегрузку tostring(int,...) перетащить выше tostring(SRC,...)
— убрать любую из перегрузок

Ещё более дистиллированный код:

template<class T> struct tr {};
template<class Tr> struct str {};

template<class C, class SRC, template<class> class TR>
void tostring(const SRC& src, str< TR<C> >* dst)
{}

template<class C, template<class> class TR>
void tostring(int src, str< TR<C> >* dst)
{}

int main()
{
    int src = 0;
    str< tr<char> > dst;
    tostring(src, &dst);
    return 0;
}

С теми же симптомами.

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

Николай, а что точно есть такое

template<class> class TR

?

"Потерялася я чёй-та ..."

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

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

CS>Николай, а что точно есть такое

CS>

CS>template<class> class TR
CS>

CS>?

Извините, что вклиниваюсь, это называется шаблонный параметр шаблона, и описан он в действующем стандарте языка в 14.3.3 — Template template arguments.

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

CS>>

CS>>template<class> class TR
CS>>

CS>>?
R>Извините, что вклиниваюсь, это называется шаблонный параметр шаблона, и описан он в действующем стандарте языка в 14.3.3 — Template template arguments.

Круто. Думаю я так что пора ужо мне в Немерлисты записываться ...

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

CS>Круто. Думаю я так что пора ужо мне в Немерлисты записываться ...

Зря. Там тебя поджидают макросы.

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

CS>>>

CS>>>template<class> class TR
CS>>>

CS>>>?
R>>Извините, что вклиниваюсь, это называется шаблонный параметр шаблона, и описан он в действующем стандарте языка в 14.3.3 — Template template arguments.
CS>Круто. Думаю я так что пора ужо мне в Немерлисты записываться ...
Думаете полегчает?

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

К>Здравствуйте, c-smile, Вы писали:

CS>>Круто. Думаю я так что пора ужо мне в Немерлисты записываться ...

К>Зря. Там тебя поджидают макросы.

Ну тогда в brainfuckers стройными рядами ...

Надо Влада2d уговорить еще для компании. Председателем. Главным так сказать... Ну и Кочеткова с его медальками...
А вот интересно как медалька этого клуба будет выглядеть ...

У-у-у... Так... господ гусаров просьба не беспокоить...

И эта! Все имена в данном сообсчении вымышленные!

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

CS>>Круто. Думаю я так что пора ужо мне в Немерлисты записываться ...
V>Думаете полегчает?

Ну один раз облегчит точно.

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

L>Этот прекрасный код вызывает у микрософтовского компилятора разрыв шаблона:

L>template<class Type, class ObjectType, template<class> class Traits, template<class> class AllocatorType>
L>void ToString(const ObjectType & object, std::basic_string<Type, Traits<Type>, AllocatorType<Type> > * pStr)
L>{
L>}

Я прошу прощения (за оффтопик), но этот код даже у людей вызывает разрыв шаблона...

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

_>Я прошу прощения (за оффтопик), но этот код даже у людей вызывает разрыв шаблона...
Да ладно, вполне читаемый код. После десятка лет практики...