Internal compiler error using has_member idiom for templated members

From: Ciprian Ciubotariu (cipi_at_home.ro)
Date: 09/30/04 

Date: Thu, 30 Sep 2004 14:25:01 +0300

Hi.

I'm trying to use the has_member template to select different paths of
compilation based on the existence of a certain member function. I found a
sample on public domain which compiles just fine. My needs imply doing the
same based on the existence of a possible overload to a template member
function. Trying to adapt the member function implementation of has member
lead to an internal compiler error. However, Comeau compiles it without any
problems. Am I doing something wrong? Should I upgrade? Should Microsoft fix
a bug?

Here is a MSVC version of a sample I found on public domain (has_member for
member functions):

#include "stdafx.h"
#include <iostream>
class C {};
template<class T, bool (T::*)(C&)>
class member_bind
{
public:
typedef T type;
};
template<class T1, class T2>
class has_member
{
public:
static const bool value = false;
};
template<class T>
class has_member<T, typename member_bind<T, T::member>::type>
{
public:
static const bool value = true;
};
class A
{
public:
bool member(C&);
};
class B {};
int main(int argc, char* argv[])
{
std::cout << "A has member? " << (has_member<A, A>::value ? "yes" : "no") <<
std::endl;
std::cout << "B has member? " << (has_member<B, B>::value ? "yes" : "no") <<
std::endl;
return 0;
}

Next is my adapted version which causes the internal compiler error (same
as above, adapted for template member functions):

#include "stdafx.h"
#include <iostream>
class C {};
template<class T, class V, bool (T::*)(V&)>
class member_bind
{
public:
typedef T type;
};
template<class T1, class T2, class V>
class has_member
{
public:
static const bool value = false;
};
template<class T, class V>
class has_member<T, typename member_bind<T, V, T::template member<V>
>::type, V>
{
public:
static const bool value = true;
};
class A
{
public:
template<class T>
bool member(T&);
};
class B {};
int main(int argc, char* argv[])
{
std::cout << "A has member? " << (has_member<A, A, C>::value ? "yes" : "no")
<< std::endl; // commenting out this line makes this snippet compile with
MSVC.
std::cout << "B has member? " << (has_member<B, B, C>::value ? "yes" : "no")
<< std::endl;
return 0;
}

The build log:

------ Build started: Project: test, Configuration: Debug Win32 ------
Compiling...
test3.cpp
d:\Temp\test\test3.cpp(39) : 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
Build Time 0:00
Build log was saved at "file://d:\Temp\test\Debug\BuildLog.htm"
test - 1 error(s), 0 warning(s)

---------------------- Done ----------------------
Build: 0 succeeded, 1 failed, 0 skipped

CL.EXE copyright notice:

Microsoft (R) 32-bit C/C++ Standard Compiler Version 13.10.3077 for 80x86
Copyright (C) Microsoft Corporation 1984-2002. All rights reserved.
HTML Buildlog attached

begin 666 BuildLog.htm
M/&AT;6P^#0H\:&5A9#X-"CQ-151!($A45% M15%5258](D-O;G1E;G0M5'EP
M92(@8V]N=&5N=#TB=&5X="]H=&UL.R!C:&%R<V5T/5=I;F1O=W,M,3(U,B(^
M#0H\+VAE860^#0H\8F]D>3X-"CQP<F4^#0H\=&%B;&4@=VED=&@],3 P)2!B
M9V-O;&]R/2-#1D-&134^/'1R/B \=&0^(#QF;VYT(&9A8V4]87)I86P@<VEZ
M93TK,SX-"D)U:6QD($QO9PT*/"]F;VYT/CPO=&%B;&4^/'1A8FQE('=I9'1H
M/2H@8V5L;'-P86-I;F<],"!C96QL<&%D9&EN9STP/CQT<CX\=&0@=VED=&@]
M,"!B9V-O;&]R/2-%1$5$1C4^)FYB<W [/"]T9#X\=&0@=VED=&@],"!B9V-O
M;&]R/2-&1D9&1D8^)FYB<W [/"]T9#X\=&0@=VED=&@]*CX\<')E/@T*/&@S
M/BTM+2TM+2T@0G5I;&0@<W1A<G1E9#H@4')O:F5C=#H@=&5S="P@0V]N9FEG
M=7)A=&EO;CH@1&5B=6=\5VEN,S(@+2TM+2TM+0T*/"]H,SX-"CPO<')E/CPO
M=&%B;&4^/'1A8FQE('=I9'1H/3$P,"4@8F=C;VQO<CTC1$9$1D4U/CQT<CX\
M=&0^/&9O;G0@9F%C93UA<FEA;"!S:7IE/2LR/@T*0V]M;6%N9"!,:6YE<PT*
M/"]F;VYT/CPO=&%B;&4^/'1A8FQE('=I9'1H/2H@8V5L;'-P86-I;F<],"!C
M96QL<&%D9&EN9STP/CQT<CX\=&0@=VED=&@],"!B9V-O;&]R/2-%1$5$1C4^
M)FYB<W [/"]T9#X\=&0@=VED=&@],"!B9V-O;&]R/2-&1D9&1D8^)FYB<W [
M/"]T9#X\=&0@=VED=&@]*CX\<')E/E1H:7,@961I=&EO;B!O9B!6:7-U86P@
M0RLK(&1O97,@;F]T('-U<'!O<G0@=&AE(&]P=&EM:7II;F<@8V]M<&EL97(N
M#0I#<F5A=&EN9R!T96UP;W)A<GD@9FEL92 B9#I<5&5M<%QT97-T7$1E8G5G
M7%)34# P,# Q.2YR<W B('=I=&@@8V]N=&5N=',-"EL-"B]$(")724XS,B(@
M+T0@(E]$14)51R(@+T0@(E]#3TY33TQ%(B O1" B7TU"0U,B("]';2 O14AS
M8R O4E1#,2 O34QD("]9=2)S=&1A9G@N:"(@+T9P(D1E8G5G+W1E<W0N<&-H
M(B O1F\B1&5B=6<O(B O1F0B1&5B=6<O=F,W,"YP9&(B("]7,R O8R O5W V
M-" O6DD@+U10#0HN7'1E<W0S+F-P< T*70T*0W)E871I;F<@8V]M;6%N9"!L
M:6YE(")C;"YE>&4@0&0Z7%1E;7!<=&5S=%Q$96)U9UQ24U P,# P,3DN<G-P
M("]N;VQO9V\B#0H\+W!R93X\+W1A8FQE/CQT86)L92!W:61T:#TQ,# E(&)G
M8V]L;W(](T1&1$9%-3X\='(^/'1D/CQF;VYT(&9A8V4]87)I86P@<VEZ93TK
M,CX-"D]U='!U="!7:6YD;W<-"CPO9F]N=#X\+W1A8FQE/CQT86)L92!W:61T
M:#TJ(&-E;&QS<&%C:6YG/3 @8V5L;'!A9&1I;F<],#X\='(^/'1D('=I9'1H
M/3 @8F=C;VQO<CTC141%1$8U/B9N8G-P.SPO=&0^/'1D('=I9'1H/3 @8F=C
M;VQO<CTC1D9&1D9&/B9N8G-P.SPO=&0^/'1D('=I9'1H/2H^/'!R93Y#;VUP
M:6QI;F<N+BX-"G1E<W0S+F-P< T*9#I<5&5M<%QT97-T7'1E<W0S+F-P<"@S
M.2D@.B!F871A;"!E<G)O<B!#,3 P,3H@24Y415).04P@0T]-4$E,15(@15)2
M3U(-"B @(" @(" @*&-O;7!I;&5R(&9I;&4@)VUS8S$N8W!P)RP@;&EN92 R
M-S Q*2 -"B @(" @(" @(%!L96%S92!C:&]O<V4@=&AE(%1E8VAN:6-A;"!3
M=7!P;W)T(&-O;6UA;F0@;VX@=&AE(%9I<W5A;"!#*RL@#0H@(" @(" @("!(
M96QP(&UE;G4L(&]R(&]P96X@=&AE(%1E8VAN:6-A;"!3=7!P;W)T(&AE;' @
M9FEL92!F;W(@;6]R92!I;F9O<FUA=&EO;@T*/"]P<F4^/"]T86)L93X\=&%B
M;&4@=VED=&@],3 P)2!B9V-O;&]R/2-$1D1&134^/'1R/CQT9#X\9F]N="!F
M86-E/6%R:6%L('-I>F4]*S(^#0I297-U;'1S#0H\+V9O;G0^/"]T86)L93X\
M=&%B;&4@=VED=&@]*B!C96QL<W!A8VEN9STP(&-E;&QP861D:6YG/3 ^/'1R
M/CQT9"!W:61T:#TP(&)G8V]L;W(](T5$141&-3XF;F)S<#L\+W1D/CQT9"!W
M:61T:#TP(&)G8V]L;W(](T9&1D9&1CXF;F)S<#L\+W1D/CQT9"!W:61T:#TJ
M/CQP<F4^#0I"=6EL9"!4:6UE(# Z,# -"D)U:6QD(&QO9R!W87,@<V%V960@
M870@(F9I;&4Z+R]D.EQ496UP7'1E<W1<1&5B=6=<0G5I;&1,;V<N:'1M(@T*
M=&5S=" M(#$@97)R;W(H<RDL(# @=V%R;FEN9RAS*3PO<')E/CPO=&%B;&4^
M/'1A8FQE(" @=VED=&@],3 P)2!H96EG:'0],C @8F=C;VQO<CTC0T9#1D4U
M/CQT<CX\=&0^/&9O;G0@9F%C93UA<FEA;"!S:7IE/2LR/@T*/"]F;VYT/CPO
4=&%B;&4^/"]B;V1Y/CPO:'1M;#X`
`
end

Relevant Pages
Quantcast