- GCC

Question

에서 MSVC의 작품, 컴파일 오류가 I이이 아래로 비등 일부 코드 :

#include <type_traits> 

struct CByteArray {}; 

struct CIODevice { 
    template <typename T> 
    CIODevice& operator<< (T value) 
    { 
     static_assert(std::is_pod<T>::value, "This method is only intended for POD types"); 
     return *this; 
    } 

    template <> 
    CIODevice& operator<< (CByteArray data) 
    { 
     return *this; 
    } 

    template <typename T> 
    CIODevice& operator>> (T& value) 
    { 
     static_assert(std::is_pod<T>::value, "This method is only intended for POD types"); 
     return *this; 
    } 
}; 

int main() 
{ 
    CIODevice device; 
    int i = 0; 
    device << i; 
    device >> i; 
    return 0; 
} 

그것은 MSVC에서 컴파일하지만 GCC 내가이 얻을 :

prog.cpp:13:12: error: explicit specialization in non-namespace scope ‘struct CIODevice’ 
    template <> 
      ^
prog.cpp:20:11: error: too many template-parameter-lists 
    CIODevice& operator>> (T& value) 
     ^
prog.cpp: In function ‘int main()’: 
prog.cpp:32:9: error: no match for ‘operator>>’ (operand types are ‘CIODevice’ and ‘int’) 
    device >> i; 
    ^

Live sample.

나는 그것을 얻지 못한다, 여기의 실수는 무엇인가?

Answer 1

C++ 사양 § 14.7.3 (발췌); 명시 적 전문성을 선언해야한다

... 클래스 또는 클래스 템플릿의

• 멤버 함수 템플릿 ... :

  1. 다음 중 하나의 명시 적 특수화 특수한 템플릿을 둘러싸는 네임 스페이스.

  기본적으로 네임 스페이스 범위 (GCC 및 Clang에서 필요함)로 선언해야합니다.

  struct CIODevice { 
      template <typename T> 
      CIODevice& operator<< (T value) 
      { 
       static_assert(std::is_pod<T>::value, "This method is only intended for POD types"); 
       return *this; 
      } 
  
      template <typename T> 
      CIODevice& operator>> (T& value) 
      { 
       static_assert(std::is_pod<T>::value, "This method is only intended for POD types"); 
       return *this; 
      } 
  }; 
  
  template <> 
  CIODevice& CIODevice::operator<< (CByteArray data) 
  { 
      return *this; 
  } 
  

  Sample code.

Answer 2

this도 참조하십시오.

기본적으로 MSVC가 잘못되었으며 GCC가 맞습니다. 그렇게 할 수 없습니다.

전문화 대신 오버로드를 사용하지 않는 이유는 무엇입니까? 시도 :

template <typename T> 
CIODevice& operator<< (T value) 
{ 
    static_assert(std::is_pod<T>::value, "This method is only intended for POD types"); 
    return *this; 
} 

// template <> // <--- Remove this 
CIODevice& operator<< (CByteArray data) 
{ 
    return *this; 
}