clang ++ 템플릿 기반 클래스에서 템플릿 메서드의 특수화에 대한 자동 반환 형식 오류가 있습니까?

Question

another question을 이해하려고 시도하면서 다음 코드를 얻는 예제를 단순화했습니다.

template <bool> 
struct foo 
{ 
    template <typename T> 
     auto bar (int i) 
     { return i; } 
}; 

template <> 
template <typename T> 
    auto foo<true>::bar (int i) 
    { return i; } 

int main() 
{ 
    return 0; 
} 

g ++ 4.9.2 문제없이 컴파일하십시오. 그 소리 ++ 3.5은 다음과 같은 오류 int와 두 auto 반환 값 중 하나를 대체

tmp_003-14,gcc,clang.cpp:12:20: error: out-of-line definition of 'bar' does not 
     match any declaration in 'foo<true>' 
    auto foo<true>::bar (int i) 
        ^~~ 

주고, 변경은 없습니다 : g ++ 컴파일 및 그 소리 ++주고 오류가. 두 auto을 int으로 바꾸면 오류가 사라집니다. 누가 맞아 : 다음 코드는

template <bool> 
struct foo 
{ 
     auto bar (int i) 
     { return i; } 
}; 

template <> 
    auto foo<true>::bar (int i) 
    { return i; } 

int main() 
{ 
    return 0; 
} 

내 질문은 분명하다 모두 컴파일러로 문제없이 컴파일하기 때문에

template <typename T> 부분은 중요하다?

g ++ 또는 clang ++?

g ++이 맞고 이것이 clang ++의 버그라고 생각하지만 확인을 요청합니다.

p.s .: 죄송합니다.

Answer 1

동일한 문제가 있었는데 여기에 solution이 있습니다. 암시 적 자동 리턴 유형은 C++ 14 이후에만 허용되므로 컴파일시 -std=c++14 컴파일 플래그를 사용하거나 리턴 유형 (C++ 11의 경우)을 명시 적으로 설정해야합니다.

문제는 CLang이 템플릿 클래스의 템플릿 기능을 잘 전문화하지 못한다는 것입니다. 이 문제를 극복하기 위해 당신은 템플릿 클래스와 별도의 전문의 빈 선언이 있어야합니다

template <bool> 
struct foo; 

template <> 
struct foo <false> 
{ 
    template <typename T> 
    auto bar (int i) 
    { return i; } 
}; 


template <> 
struct foo <true> 
{ 
    template <typename T> 
    auto bar (int i) 
    { return i; } 
}; 

int main() 
{ 
    return 0; 
}