Tại sao tôi có thể xác định cấu trúc và lớp trong một hàm trong C ++?

Tôi chỉ làm nhầm một cái gì đó như thế này trong C ++, và nó hoạt động. Tại sao tôi có thể làm điều này?

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

    MyStruct s;
    s.somevalue = 5;
}

Bây giờ sau khi làm điều này, tôi nhớ là đã đọc về thủ thuật này ở một nơi nào đó, cách đây rất lâu, như một loại công cụ lập trình chức năng của người nghèo dành cho C ++, nhưng tôi không thể nhớ tại sao nó lại hợp lệ hoặc tôi đã đọc nó ở đâu.

Câu trả lời cho một trong hai câu hỏi đều được chào đón!

Lưu ý: Mặc dù khi viết câu hỏi, tôi không nhận được bất kỳ tài liệu tham khảo nào cho câu hỏi này , thanh bên hiện tại chỉ ra điều đó nên tôi sẽ đưa nó vào đây để tham khảo, dù câu hỏi khác nhau nhưng có thể hữu ích.

[EDIT 18/4/2013]: Rất vui, hạn chế được đề cập bên dưới đã được dỡ bỏ trong C ++ 11, vì vậy sau cùng thì các lớp được định nghĩa cục bộ rất hữu ích! Cảm ơn người bình luận bamboon.

Khả năng xác định cục bộ các lớp sẽ làm cho việc tạo các bộ operator()()chức năng tùy chỉnh (các lớp có hàm so sánh, ví dụ: để chuyển tới std::sort()hoặc "các thân vòng lặp" được sử dụng std::for_each()) thuận tiện hơn nhiều.

Thật không may, C ++ cấm sử dụng các lớp được xác định cục bộ với các mẫu , vì chúng không có liên kết. Vì hầu hết các ứng dụng của functor liên quan đến các kiểu mẫu được tạo khuôn mẫu trên kiểu functor, không thể sử dụng các lớp được xác định cục bộ cho việc này - bạn phải xác định chúng bên ngoài hàm. :(

[CHỈNH SỬA 1/11/2009]

Trích dẫn có liên quan từ tiêu chuẩn là:

14.3.1 / 2: .Một kiểu cục bộ, kiểu không có liên kết, kiểu không có tên hoặc kiểu kết hợp từ bất kỳ kiểu nào trong số này sẽ không được sử dụng làm đối số mẫu cho tham số kiểu mẫu.

Một ứng dụng của các lớp C ++ được xác định cục bộ nằm trong mẫu thiết kế 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;
}

Mặc dù bạn có thể làm tương tự với không gian tên ẩn danh.

Nó thực sự rất hữu ích để thực hiện một số công việc an toàn ngoại lệ dựa trên ngăn xếp. Hoặc dọn dẹp chung từ một chức năng có nhiều điểm trả về. Đây thường được gọi là thành ngữ RAII (thu nhận tài nguyên là khởi tạo).

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.
}

Về cơ bản, tại sao không? A structtrong C (quay trở lại bình minh của thời gian) chỉ là một cách để khai báo cấu trúc bản ghi. Nếu bạn muốn một biến, tại sao không thể khai báo nó mà bạn sẽ khai báo một biến đơn giản?

Một khi bạn làm điều đó, hãy nhớ rằng mục tiêu của C ++ là tương thích với C nếu có thể. Vì vậy, nó đã ở lại.

Ví dụ, nó được đề cập tại phần "7.8: Local class: các lớp bên trong hàm" của http://www.icce.rug.nl/documents/cplusplus/cplusplus07.html , gọi nó là "local class" và nói rằng " có thể rất hữu ích trong các ứng dụng nâng cao liên quan đến kế thừa hoặc mẫu ".

Nó để tạo các mảng đối tượng được khởi tạo đúng cách.

Tôi có một lớp C không có hàm tạo mặc định. Tôi muốn một mảng các đối tượng thuộc lớp C. Tôi tìm ra cách tôi muốn các đối tượng đó được khởi tạo, sau đó dẫn xuất một lớp D từ C bằng một phương thức tĩnh cung cấp đối số cho hàm tạo mặc định của C trong 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;
}

Để đơn giản, ví dụ này sử dụng một hàm tạo không mặc định tầm thường và một trường hợp mà các giá trị được biết tại thời điểm biên dịch. Thật đơn giản khi mở rộng kỹ thuật này cho các trường hợp bạn muốn một mảng các đối tượng được khởi tạo với các giá trị chỉ được biết trong thời gian chạy.