Detect versehentliche elided Dimension in C++

Question

Betrachten Sie das folgende Snippet:

#include <iostream> 
using namespace std; 

int a[10][2]; 
int b[10][2]; 

int main(){ 

    //intended 
    cout << a[0][0] - b[0][0] << endl; 

    //left out dimension by mistake 
    cout << a[0] - b[0] << endl; 

} 

Offensichtlich (oder vielleicht auch nicht pro Kommentar) der zweite Fall gilt Zeigerarithmetik in C und C++, aber in der Codebasis arbeite ich mit es ist im Allgemeinen ein semantischer Fehler; Eine Dimension wurde normalerweise in einer verschachtelten for-Schleife weggelassen. Gibt es ein W-Flag oder ein statisches Analyse-Tool, das dies erkennen kann?

Answer 1

Sie könnten std::array verwenden, die das nicht zulassen wird:

using d1=std::array<int, 2>; 
    using d2=std::array<d1, 10>; 

    d2 a; 
    d2 b; 

    std::cout << a[0][0] - b[0][0] << endl; // works as expected 

    std::cout << a[0] - b[0] << endl;  // will not compile 

Answer 2

Wenn dies nur die Sorge um < < Betreiber wie in Beispiel, Überlastung des Betreibers < < für int * könnte helfen - können Sie Betreiber Überlastung Fehler bei der Kompilierung zu erzeugen.

Answer 3

Eine weitere Option ist eine spezialisierte mehrdimensionales Array Bibliothek mit entsprechender Operator Fehlerbehandlung, wie Boost zu verwenden :: multi_array (http://www.boost.org/doc/libs/1_55_0/libs/multi_array/doc/user.html). Dies ist normalerweise eine bessere Idee als die Verwendung von verschachtelten Containern oder POD-Arrays.