Neden bir fonksiyon parametresindeki bir dizinin büyüklüğünü belirleyebiliriz?

Question

Aşağıdaki örnek niçin derlendiğini ve çalıştığını anlamıyorum:

void printValues(int nums[3], int length) { 
    for(int i = 0; i < length; i++) 
     std::cout << nums[i] << " "; 
    std::cout << '\n'; 
} 

3 boyutunun tamamen yok sayıldığı, ancak geçersiz bir boyut koyulduğu derleme hatasıyla sonuçlanır. Burada neler oluyor?

Answer 1

C++'da (yanı sıra C), dizi türüyle bildirilen parametreler her zaman hemen işaretçi türüne göre bozulur. Aşağıdaki üç beyan, eşdeğer olan

I.e. boyut önemli değil. Yine de, buradaki geçersiz bir dizi bildirimini kullanabileceğiniz anlamına gelmez, örneğin, bir negatif veya sıfır boyutu belirtmek yasa dışıdır.

(btw, aynı işlevi Çeşidi parametreleri için de geçerlidir - hemen işaretçisi işleve türünü düşer.)

bağımsız değişkenler ve parametreler arasında dizi boyutu eşleştirme zorlamak için, pointer- veya referans kullanımı boyut sabit bir derleme zamanı olacak ve artık length geçme anlamı yok bu durumda parametre bildirimleri tabii

void printValues(int (&nums)[3]); 
void printValues(int (*nums)[3]); 

yılında to-dizi türleri.

Answer 2

Dizinin boyutu göz ardı edilmez, bağımsız değişken türünün bir parçasıdır. Bir başka büyüklükteki diziyi işleve aktarmaya çalışırsanız bir derleyici hatası almalısınız.

Diğer yandan C ve C++, dizi erişimlerini denetleme sınırlarını yapmaz, bu nedenle , göz ardı edilir. Ama bu sadece başka herhangi bir bağlamda da geçerlidir, sadece işlev parametreleri için değil. işaretçilere bir fonksiyonu çürüme geçirilen diziler ve dizi türü bilgilerini kaybetmek -

Answer 3

Sana başvuruyorsunuz hatayı derlemek görmüyorum. Sen de kullanmış olabileceği:

void printValues(int* nums, int length); 

için başvuruları kullanarak işaretçilere çürüme önleyebilirsiniz:

void printValues(int (&nums)[3], int length); 

Ya da sadece işaretçileri kullanmak size sabit boyutlu diziler istemiyorsanız.