Constructors اور Destructors کیا ہیں؟

Question

Accepted Answer

ایک **constructor** ایک خصوصی method ہے جو object بنانے کے وقت چلتا ہے، اسے **initialize** کرنے کے لیے اس کی state کو ایک valid شروعاتی حالت میں لایا جاتا ہے۔ ایک **destructor** (یا finalizer) object کے ختم ہونے پر چلتا ہے، **resources** کو **صاف کرنے** کے لیے استعمال ہوتا ہے۔

## تعمیر

```java
public class Connection {
    private final String host;
    public Connection(String host) {   // constructor
        if (host == null)              // enforce a valid object from birth
            throw new IllegalArgumentException("host required");
        this.host = host;              // initialize state
    }
}
```

ایک اچھا constructor یقینی بناتا ہے کہ object **کبھی invalid state میں نظر نہ آئے**۔

## صفائی language کے لحاظ سے مختلف ہے

```python
class FileWriter:
    def __init__(self, path):
        self.f = open(path, "w")       # acquire resource
    def close(self):
        self.f.close()                 # explicit cleanup
    def __enter__(self): return self
    def __exit__(self, *a): self.close()  # deterministic cleanup

with FileWriter("out.txt") as w:       # closed automatically at block end
    pass
```

| Language | Cleanup mechanism |
|---|---|
| C++ | Destructor `~T()`، deterministically چلتا ہے |
| Java/C# | GC + `finalize`/`Dispose` (non-deterministic؛ try-with-resources / `using` استعمال کریں) |
| Python | `__del__` (unreliable timing)؛ context managers کو ترجیح دیں |

## خطرناک نقطہ

Garbage-collected languages میں، **کبھی finalizers پر منحصر نہ ہوں** files، sockets، یا locks جاری کرنے کے لیے — ان کا timing غیر متعین ہے۔ واضح `close`/`Dispose`/context managers استعمال کریں۔

## اہمیت

Constructors آپ کی ضمانت ہیں کہ ہر object valid حالت میں شروع ہوتا ہے — ضروری arguments اور invariants کو نافذ کرنے کے لیے بہترین جگہ۔

صفائی اہم ہے کیونکہ محدود resources (file handles، connections) leak ہو جاتے ہیں اگر release نہ ہوں، اور GC پر ان کے لیے منحصر رہنا intermittent، hard-to-debug exhaustion کا سبب بنتا ہے۔

Language	Cleanup mechanism
C++	Destructor `~T()`، deterministically چلتا ہے
Java/C#	GC + `finalize`/`Dispose` (non-deterministic؛ try-with-resources / `using` استعمال کریں)
Python	`__del__` (unreliable timing)؛ context managers کو ترجیح دیں