템플릿에 로컬로 정의 된 유형을 사용할 수 있습니까?

Question

answering a different question 동안 다음 코드가 허용되지 않는 이유를 찾을 수 없습니다.

template <typename F> void bar (F *f) { f->a = 0; } 

int main() { 
    struct Foo { int a; } f = { 3 }; 
    bar(&f);       // fail 
} 

내가 제공하는 설명은 컴파일러가 법적으로 템플릿 확장을 표현할 수있는 방법이 없다는 것, 그러나 그 이유보다 내 직관이다. 코드가 컴파일되지 않아야하는 이유에 대한 확실한 설명이 있습니까?

Answer 1

C++ 03에는 명시 적으로 허용되지 않지만 C++ 11에는 법적 코드가 허용되지 않습니다.

제가 질문 한 이래로 표준이 변경되어 Using local classes with STL algorithms의 정확한 사본인지 확실하지 않습니다.