Te erre gondolsz: A *ptr = nullptr; A &ref = *ptr; assert(&ref == nullptr); Ez szerintem nem feltétlen fog sikerrel végződni, mert undefined behaviour, és mint ilyen, a fordító kioptimalizálhatja bármire, amire nem számítanál.