C ++에서 함수 내에서 구조와 클래스를 정의 할 수있는 이유는 무엇입니까?

C ++에서 실수로 이와 같은 작업을 수행했으며 작동합니다. 왜 이것을 할 수 있습니까?

int main(int argc, char** argv) {
    struct MyStruct
    {
      int somevalue;
    };

    MyStruct s;
    s.somevalue = 5;
}

이 일을 한 후, 나는 오래 전에 C ++를위한 가난한 사람의 함수형 프로그래밍 도구로이 트릭에 대해 읽었던 기억이 났지만 이것이 왜 유효한지, 어디서 읽었는지 기억할 수 없습니다.

두 질문에 대한 답변을 환영합니다!

참고 : 질문을 작성할 때이 질문에 대한 참조를 얻지 못했지만 현재 사이드 바에서이를 지적하므로 질문이 다르지만 유용 할 수 있습니다.

[2013 년 4 월 18 일 편집] : 다행히 C ++ 11에서는 아래에 언급 된 제한이 해제되었으므로 로컬에서 정의 된 클래스가 유용합니다! 댓글 작성자 bamboon에게 감사드립니다.

클래스를 로컬로 정의하는 기능 은 사용자 정의 펑 (AN와 클래스 생성하기 operator()()에 전달하는, 예를 들어 비교 기능을std::sort() 함께 사용할 수 또는 "루프 기관" std::for_each()) 훨씬 더 편리.

불행히도 C ++는 템플릿과 함께 로컬 정의 클래스를 사용하는 것을 금지합니다. 는 링크가 없기 때문에 합니다. 대부분의 펑터 애플리케이션은 펑터 유형에 템플릿 화 된 템플릿 유형을 포함하기 때문에 로컬로 정의 된 클래스는이를 위해 사용할 수 없습니다. 함수 외부에서 정의해야합니다. :(

[2009 년 1 월 1 일 수정]

표준의 관련 견적은 다음과 같습니다.

14.3.1 / 2 : . 로컬 유형, 연결이없는 유형, 명명되지 않은 유형 또는 이러한 유형의 복합 유형은 템플릿 유형 매개 변수에 대한 템플릿 인수로 사용되지 않습니다.

로컬로 정의 된 C ++ 클래스의 한 응용 프로그램은 Factory 디자인 패턴입니다 .

// In some header
class Base
{
public:
    virtual ~Base() {}
    virtual void DoStuff() = 0;
};

Base* CreateBase( const Param& );

// in some .cpp file
Base* CreateBase( const Params& p )
{
    struct Impl: Base
    {
        virtual void DoStuff() { ... }
    };

    ...
    return new Impl;
}

익명 네임 스페이스로도 똑같이 할 수 있습니다.

실제로 스택 기반 예외 안전 작업을 수행하는 데 매우 유용합니다. 또는 여러 반환 지점이있는 함수에서 일반적인 정리. 이를 종종 RAII (자원 획득은 초기화) 관용구라고합니다.

void function()
{

    struct Cleaner
    {
        Cleaner()
        {
            // do some initialization code in here
            // maybe start some transaction, or acquire a mutex or something
        }

        ~Cleaner()
        {
             // do the associated cleanup
             // (commit your transaction, release your mutex, etc.)
        }
    };

    Cleaner cleaner;

    // Now do something really dangerous
    // But you know that even in the case of an uncaught exception, 
    // ~Cleaner will be called.

    // Or alternatively, write some ill-advised code with multiple return points here.
    // No matter where you return from the function ~Cleaner will be called.
}

글쎄요, 기본적으로 왜 안되죠? ㅏstruct in C (시간의 새벽으로 돌아 가기)는 레코드 구조를 선언하는 방법 일뿐입니다. 원하는 경우 간단한 변수를 선언 할 위치에서 선언 할 수없는 이유는 무엇입니까?

일단 그렇게하면 C ++의 목표는 가능하다면 C와 호환되는 것이 었습니다. 그래서 그것은 남았습니다.

예를 들어 http://www.icce.rug.nl/documents/cplusplus/cplusplus07.html의 "7.8 : 로컬 클래스 : 함수 내부 클래스"섹션에 언급되어 있으며 "로컬 클래스"라고하며 " 상속 또는 템플릿을 포함하는 고급 응용 프로그램에서 매우 유용 할 수 있습니다. "

제대로 초기화 된 개체의 배열을 만들기위한 것입니다.

기본 생성자가없는 클래스 C가 있습니다. 클래스 C의 개체 배열을 원합니다. 이러한 개체를 초기화하는 방법을 파악한 다음 D의 기본 생성자에서 C에 대한 인수를 제공하는 정적 메서드를 사용하여 C에서 클래스 D를 파생합니다.

#include <iostream>
using namespace std;

class C {
public:
  C(int x) : mData(x)  {}
  int method() { return mData; }
  // ...
private:
  int mData;
};

void f() {

  // Here I am in f.  I need an array of 50 C objects starting with C(22)

  class D : public C {
  public:
    D() : C(D::clicker()) {}
  private:
    // I want my C objects to be initialized with consecutive
    // integers, starting at 22.
    static int clicker() { 
      static int current = 22;
      return current++;
    } 
  };

  D array[50] ;

  // Now I will display the object in position 11 to verify it got initialized
  // with the right value.  

  cout << "This should be 33: --> " << array[11].method() << endl;

  cout << "sizodf(C): " << sizeof(C) << endl;
  cout << "sizeof(D): " << sizeof(D) << endl;

  return;

}

int main(int, char **) {
  f();
  return 0;
}

간단하게하기 위해이 예제에서는 기본이 아닌 간단한 생성자와 컴파일 시간에 값이 알려진 경우를 사용합니다. 런타임에만 알려진 값으로 초기화 된 객체 배열을 원하는 경우에이 기술을 확장하는 것은 간단합니다.