เหตุใดฉันจึงสามารถกำหนดโครงสร้างและคลาสภายในฟังก์ชันใน C ++ ได้

ฉันเพิ่งทำสิ่งนี้ผิดพลาดใน C ++ และมันก็ใช้ได้ ทำไมฉันถึงทำได้

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

    MyStruct s;
    s.somevalue = 5;
}

หลังจากทำสิ่งนี้แล้วฉันก็จำได้ว่าอ่านเคล็ดลับนี้ที่ไหนสักแห่งเมื่อนานมาแล้วว่าเป็นเครื่องมือการเขียนโปรแกรมที่ใช้งานได้ยากสำหรับ C ++ แต่ฉันจำไม่ได้ว่าทำไมมันถึงถูกต้องหรือฉันอ่านที่ไหน

ยินดีต้อนรับคำตอบสำหรับคำถามใด ๆ !

หมายเหตุ: แม้ว่าเมื่อเขียนคำถามฉันไม่ได้รับการอ้างอิงใด ๆ เกี่ยวกับคำถามนี้แต่แถบด้านข้างปัจจุบันก็ชี้ให้เห็นดังนั้นฉันจะใส่ไว้ที่นี่เพื่ออ้างอิงไม่ว่าคำถามจะแตกต่างกัน แต่อาจมีประโยชน์

[แก้ไข 18/4/2556]: โชคดีที่ข้อ จำกัด ที่กล่าวถึงด้านล่างถูกยกออกใน C ++ 11 ดังนั้นคลาสที่กำหนดไว้ในเครื่องจึงมีประโยชน์ในที่สุด! ขอบคุณผู้แสดงความคิดเห็น bamboon

ความสามารถในการกำหนดคลาสแบบโลคัลจะทำให้การสร้าง functors แบบกำหนดเอง (คลาสที่มีoperator()()ฟังก์ชันเปรียบเทียบสำหรับการส่งผ่านไปยังstd::sort()หรือ "loop body" ที่จะใช้ด้วยstd::for_each()) สะดวกกว่ามาก

น่าเสียดายที่ C ++ ห้ามไม่ให้ใช้คลาสที่กำหนดในเครื่องด้วยเทมเพลตเนื่องจากไม่มีการเชื่อมโยง เนื่องจากแอปพลิเคชัน functors ส่วนใหญ่เกี่ยวข้องกับประเภทเทมเพลตที่เทมเพลตในประเภท functor จึงไม่สามารถใช้คลาสที่กำหนดในเครื่องได้คุณต้องกำหนดไว้นอกฟังก์ชัน :(

[แก้ไข 1/11/2009]

คำพูดที่เกี่ยวข้องจากมาตรฐานคือ:

14.3.1 / 2:ห้ามใช้ประเภทโลคัลประเภทที่ไม่มีการเชื่อมโยงประเภทที่ไม่มีชื่อหรือประเภทที่ผสมจากประเภทใดประเภทนี้เป็นอาร์กิวเมนต์แม่แบบสำหรับพารามิเตอร์ชนิดเทมเพลต

แอปพลิเคชั่นหนึ่งของคลาส C ++ ที่กำหนดในเครื่องอยู่ในรูปแบบการออกแบบจากโรงงาน :

// 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 (การได้มาซึ่งทรัพยากรคือ initialzation)

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ใน C (ย้อนกลับไปในรุ่งอรุณของเวลา) เป็นเพียงวิธีการประกาศโครงสร้างบันทึก ถ้าคุณต้องการทำไมไม่สามารถประกาศได้ในที่ที่คุณจะประกาศตัวแปรง่ายๆ?

เมื่อคุณทำเช่นนั้นโปรดจำไว้ว่าเป้าหมายของ C ++ คือต้องเข้ากันได้กับ C ถ้าเป็นไปได้ทั้งหมด ดังนั้นมันจึงอยู่

ตัวอย่างเช่นส่วน "7.8: คลาสท้องถิ่น: คลาสภายในฟังก์ชัน" ของhttp://www.icce.rug.nl/documents/cplusplus/cplusplus07.htmlซึ่งเรียกว่า "คลาสท้องถิ่น" และระบุว่า " จะมีประโยชน์มากในแอปพลิเคชันขั้นสูงที่เกี่ยวข้องกับการสืบทอดหรือเทมเพลต "

ใช้สำหรับสร้างอาร์เรย์ของวัตถุที่เริ่มต้นอย่างถูกต้อง

ฉันมีคลาส 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;
}

เพื่อความเรียบง่ายตัวอย่างนี้ใช้ตัวสร้างที่ไม่ใช่ค่าเริ่มต้นเล็กน้อยและกรณีที่ทราบค่าในเวลาคอมไพล์ เป็นเรื่องง่ายที่จะขยายเทคนิคนี้ไปยังกรณีที่คุณต้องการให้อาร์เรย์ของอ็อบเจ็กต์เริ่มต้นด้วยค่าที่ทราบเฉพาะในรันไทม์เท่านั้น