이름없는 네임 스페이스에서 숨겨진 템플릿에 액세스하는 방법은 무엇입니까?

Question

여기에 까다로운 상황이며, 내가 그것을

namespace { 
    template <class T> 
    struct Template { /* ... */ }; 
} 

typedef Template<int> Template; 

안타깝게도 Template 타입 정의의 이름이 네임 스페이스의 Template 템플릿을 방해 해결하기 위해 거기에 어떤 방법으로 궁금하다. 전역 범위에서 Template<float>을 수행하려고하면 컴파일러에서 템플릿 이름과 typedef 이름 사이에 모호한 오류가 발생합니다.

템플릿 이름이나 typedef-name을 제어 할 수 없습니다.

• 글로벌 네임 스페이스의 typedefed 유형 Template (즉 Template<int>)의 객체를 생성 : 지금은이 행 수 있는지 알고 싶어요.
• 전역 이름 공간에 Template<float> 유형의 개체를 만듭니다.

아니요,은 이름이없는 네임 스페이스에 아무 것도 추가 할 수 없습니다. 모든 것은 전역 네임 스페이스에서 수행되어야합니다.

이러한 모호성을 해결하기 위해 어떤 트릭이 있는지 궁금 해서요. 일상적인 프로그래밍 중에 나는 실제적인 문제가 아닙니다.

Answer 1

나는 그것이 다소 당신의 요점을 망쳐 놓는다는 것을 안다. 그러나 나는 주된 트릭이 전염병처럼 이것을 피하는 것이라고 생각한다.

Answer 2

그것은 네임 스페이스에 대한 명시 됨으로써 글로벌 typedefed 템플릿에 액세스하는 것이 가능하다, 즉

::Template a 

는 익명의 공간에서 Template<int>입니다. Template<float>을 얻을 수 있는지 확실하지 않습니다. 이렇게하는 이유, 나도 몰라 아마 누군가에게 엄하게 말하는 것 :

#include <iostream> 
namespace { 
    template <class T> 
     struct Template {T value;};} 
typedef Template<int> Template; 

int main(){  
    ::Template a; 
    Template<float> b; 
    a.value = 6; 
    b.value = 3.14; 
    std::cout<<a.value<<" "<<b.value<<"\n"; 
} 

Answer 3

면책 조항 :

은 놀랍게도 Clang의 C++ 컴파일러는 아마 다음하지 표준 동작 괜찮습니다 누가 그랬어. C를 사용하여

namespace 
{ 
    template <typename T> class Template { }; 
} 

typedef Template<int> IntTemplate; 
typedef Template<float> FloatTemplate; 
typedef IntTemplate Template; 

int main() { 
    ::Template t; 
    FloatTemplate ft; 
} 

Answer 4

+ +0 : 분명히 그것은 Cormeau으로 컴파일하지만 난 단지 온라인 테스트에 액세스 할 수있는, 그래서 '

void PrintType() [with T = <unnamed>::Template<int>] 
void PrintType() [with T = <unnamed>::Template<float>] 

를 산출 gcc45와

namespace { 
    template<class T> struct Template { }; 
} 
typedef Template<int> Template; 

#include<iostream> 

template<typename T> 
void PrintType() { 
    std::cout << __PRETTY_FUNCTION__ << std::endl; 
} 

template<typename FullType, typename NewParameter> 
class Rebind { 
    template<template<class> class Template, typename OldParameter> 
    static Template<NewParameter> function(Template<OldParameter>); 

public: 
    typedef decltype(function(FullType())) NewType; 
}; 

int main() 
{ 
    PrintType< ::Template>(); 
    PrintType<Rebind< ::Template, float>::NewType>(); 
    return 0; 
} 

그냥 예상대로 작동한다고 가정합니다.

구조체에 실제 형식을 직접 전달하고 템플릿 형식으로 변환하는 방법을 찾지 못했지만 컴파일러는 함수 매개 변수를 추측해야 할 때 두 가지를 제거하는 데 아무런 문제가 없었습니다. 어쩌면 이것은 C++ 03에서 decltype 대신에 boost::result_of을 사용하지만, 전에는 사용 해본 적이 없기 때문에 내가 아는 것에 집중할 것이라고 생각했습니다.

간격은 main입니다.변이가 <:이기 때문에 Rebind<::Template, float>::NewType은 파서에 의해 도깨비가됩니다. 나는 그것이 Rebind[:Template, float>::NewType으로 바뀌 었다고 생각한다. 따라서 ::Template 전의 공간이 중요합니다.

제쳐두고 중첩 된 템플릿 매개 변수는 template<template<typename> typename T>이 아닌 [template<template<typename> class T>]을 사용할 수 없다는 것을 알았습니다. 나는 구문에 대한 구문을 기억하려고 할 때마다 그 점을 다시 읽었다 고 생각합니다.