C ++の関数内で構造とクラスを定義できるのはなぜですか？

Question 1

私は誤ってC ++でこのようなことをしましたが、それは機能します。なぜ私はこれを行うことができますか？

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

    MyStruct s;
    s.somevalue = 5;
}

これを行った後、私は昔、C ++用の貧乏人の関数型プログラミングツールの一種として、このトリックについてどこかで読んだことを思い出しましたが、なぜこれが有効なのか、どこで読んだのか思い出せません。

どちらの質問への回答も大歓迎です！

注：質問を書いているとき、この質問への参照はありませんでしたが、現在のサイドバーがそれを指摘しているので、参照用にここに置きます。どちらにしても、質問は異なりますが、役立つ場合があります。

Question 2

[2013年4月18日編集]：幸い、C ++ 11では以下の制限が解除されたため、ローカルで定義されたクラスが便利です。コメント投稿者bamboonに感謝します。

ローカルクラスを定義することでしょう（とクラスカスタムファンクタを作成作るoperator()()に渡すため、例えば比較関数をstd::sort()一緒に使用するか、「ループボディ」std::for_each()）はるかに便利。

残念ながら、C ++は、リンクがないため、テンプレートでローカルに定義されたクラスを使用することを禁じています。ファンクターのほとんどのアプリケーションには、ファンクタータイプでテンプレート化されたテンプレートタイプが含まれるため、ローカルで定義されたクラスをこれに使用することはできません。関数の外部で定義する必要があります。:(

[2009年1月11日編集]

標準からの関連する引用は次のとおりです。

14.3.1 / 2 ：。ローカル型、リンケージのない型、名前のない型、またはこれらの型のいずれかから複合された型は、テンプレート型パラメータのテンプレート引数として使用してはなりません。

Question 3

ローカルで定義されたC ++クラスの1つのアプリケーションは、ファクトリデザインパターンです。


// 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;
}

匿名の名前空間でも同じことができますが。

Question 4

実際には、スタックベースの例外安全性作業を行うのに非常に役立ちます。または、複数のリターンポイントを持つ関数からの一般的なクリーンアップ。これはしばしば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.
}

Question 5

さて、基本的にはどうですか？AstructCの（時間の夜明けに戻る）は、レコード構造を宣言するための単なる方法でした。必要な場合は、単純な変数を宣言する場所で宣言できないのはなぜですか？

それを行ったら、C ++の目標は可能な限りCと互換性があることであったことを思い出してください。それでそれはとどまりました。

Question 6

たとえば、http：//www.icce.rug.nl/documents/cplusplus/cplusplus07.htmlのセクション「7.8：ローカルクラス：関数内のクラス」で言及されており、「ローカルクラス」と呼ばれ、「継承またはテンプレートを含む高度なアプリケーションで非常に役立つ可能性があります。」

Question 7

これは、適切に初期化されたオブジェクトの配列を作成するためのものです。

デフォルトのコンストラクターがないクラス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;
}

簡単にするために、この例では、デフォルト以外の簡単なコンストラクターと、コンパイル時に値がわかっている場合を使用します。この手法を、実行時にのみ認識される値で初期化されたオブジェクトの配列が必要な場合に拡張するのは簡単です。