static이 놀라운 효과를 갖는 한 가지 경우가 있습니다 (적어도 나에게있었습니다). 14.6.4.2/1의 C ++ 03 표준 상태는 다음과 같습니다.

템플릿 매개 변수에 의존하는 함수 호출의 경우 함수 이름이 규정되지 않은 id 이지만 template-id가 아닌 경우 후보 함수는 다음을 제외하고 일반적인 조회 규칙 (3.4.1, 3.4.2)을 사용하여 찾습니다.

• 규정되지 않은 이름 조회 (3.4.1)를 사용하는 조회의 경우 템플리트 정의 컨텍스트에서 외부 링크가있는 함수 선언 만 발견됩니다.
• 연관된 네임 스페이스 (3.4.2)를 사용하는 조회의 경우 템플리트 정의 컨텍스트 또는 템플리트 인스턴스화 컨텍스트에서 외부 링크가있는 함수 선언 만 찾을 수 있습니다.

…

아래 코드는 예상대로 호출 foo(void*)되지 않습니다 foo(S const &).

template <typename T>
int b1 (T const & t)
{
  foo(t);
}

namespace NS
{
  namespace
  {
    struct S
    {
    public:
      operator void * () const;
    };

    void foo (void*);
    static void foo (S const &);   // Not considered 14.6.4.2(b1)
  }

}

void b2()
{
  NS::S s;
  b1 (s);
}

그 자체로는 그다지 큰 문제는 아니지만 완전히 호환되는 C ++ 컴파일러 (예 : 지원 export하는 static키워드 )의 경우 키워드는 다른 방식으로는 사용할 수없는 기능을 여전히 가지고 있음을 강조합니다 .

// bar.h
export template <typename T>
int b1 (T const & t);

// bar.cc
#include "bar.h"
template <typename T>
int b1 (T const & t)
{
  foo(t);
}

// foo.cc
#include "bar.h"
namespace NS
{
  namespace
  {
    struct S
    {
    };

    void foo (S const & s);  // Will be found by different TU 'bar.cc'
  }
}

void b2()
{
  NS::S s;
  b1 (s);
}

명명되지 않은 네임 스페이스의 함수가 ADL을 사용하는 템플릿에서 찾을 수 없도록하는 유일한 방법은 그것을 만드는 것 static입니다.

Modern C ++ 업데이트

C ++ ’11에서 이름이없는 네임 스페이스의 멤버는 내부적으로 내부적으로 연결되어 있습니다 (3.5 / 4).

명명되지 않은 네임 스페이스 또는 명명되지 않은 네임 스페이스 내에서 직접 또는 간접적으로 선언 된 네임 스페이스에는 내부 연결이 있습니다.

그러나 동시에 14.6.4.2/1은 연결에 대한 언급을 제거하도록 업데이트되었습니다 (C ++ ’14에서 가져옴).

postfix-expression이 종속 이름 인 함수 호출의 경우 후보 함수는 다음을 제외하고 일반적인 조회 규칙 (3.4.1, 3.4.2)을 사용하여 찾습니다.

• 규정되지 않은 이름 조회 (3.4.1)를 사용하는 조회의 경우 템플리트 정의 컨텍스트의 함수 선언 만 발견됩니다.

• 연관된 네임 스페이스 (3.4.2)를 사용하는 조회의 경우 템플리트 정의 컨텍스트 또는 템플리트 인스턴스화 컨텍스트에서 찾은 함수 선언 만 발견됩니다.

결과적으로 정적 네임 스페이스 멤버와 이름이없는 네임 스페이스 멤버 간의 이러한 특정 차이점이 더 이상 존재하지 않습니다.

답변

namespace {
   static int flag;
}