कास्ट "सूचक VLA const करने के लिए" से "const सूचक"

Question

इस स्निपेट में, VLA करने के लिए एक सूचक आसान पहुँच के लिए एक बड़ा लुकअप तालिका करने के लिए प्रयोग किया जाता है:

#pragma GCC diagnostic warning "-Wcast-qual" 

char 
lookup(int a, int b, int c, char const *raw, int x, int y, int z) 
{ 
    typedef char const (*DATA_PTR)[a][b][c]; 

    DATA_PTR data = (DATA_PTR)raw; 

    return (*data)[x][y][z]; 
} 

जीसीसी 6.2.0क्लैंग 4.0.0 (ट्रंक)-Wcast-qual सक्षम दोनों के साथ ठीक है, जबकि इस पर चोक करता है।

In function 'lookup': 
warning: cast discards 'const' qualifier from pointer target type [-Wcast-qual] 
    DATA_PTR data = (DATA_PTR)raw; 
       ^

कोड किसी भी तरह से अपेक्षित है।

मेरा अनुमान है जीसीसी और "VLA const सूचक" "स्थिरांक तत्वों के VLA सूचक" एक confuses लेकिन मैं पहुँच रहा हूँ है ...

वहाँ चेतावनी के साथ नगण्य बिना जीसीसी चुप रहो करने के लिए एक तरीका है? क्या यह एक जीसीसी बग है?

EDIT1: वास्तविक कोड पर

विवरण:

struct table { 
    int a; 
    int b; 
    int c; 
    char *raw; 
}; 

char 
lookup2(struct table const *table, int x, int y, int z) 
{ 
    typedef char const(*DATA_PTR)[table->a][table->b][table->c]; 

    DATA_PTR data; 
    data = (DATA_PTR)table->raw; // GCC ok 
    data = (DATA_PTR)(char const *)table->raw; // GCC raises -Wcast-qual 

    return (*data)[x][y][z]; 
} 

EDIT2:

तो वहाँ यह है ... C11 मानक प्रारूप 6.7.3 में कहते हैं/9:

यदि विशिष्ट किसी सरणी प्रकार के आयन में किसी भी प्रकार के क्वालीफायर शामिल होते हैं, तत्व प्रकार इतना योग्य होता है, सरणी प्रकार नहीं।

@hvd उत्तर देखें।

एक हैक -Wcast-qual मौन करने:

DATA_PTR data = (DATA_PTR)(intptr_t)raw; 

Answer 1

यह सी में एक लंबे समय से मुद्दा है यह वही कारण है कि

int array[2]; 
const int (*ptr)[2] = &array; 

सी में अमान्य है है (लेकिन सी में मान्य होगा ++): यह const -क्वालिफाइड पूर्णांक की एक सरणी के लिए एक सूचक घोषित करता है, जो const-पूर्णांक की योग्य सरणी नहीं है, इसलिए सामान्य नियम कि किसी प्रकार के पॉइंटर को पूर्ण रूप से पीओ में परिवर्तित किया जा सकता है const के लिए इंटर-उस प्रकार का योग्य संस्करण लागू नहीं होता है।

आपके मामले में, आप const char * से (एक सूचक एक const -qualified प्रकार के) char const (*)[a][b][c] है, जो -Wcast-qual के बारे में चेतावनी देने के लिए माना जाता है (एक सूचक एक गैर const -qualified प्रकार के) रूपांतरित करते हैं।

क्लैंग ने सी की इस विशेष विषमता को लागू करने के लिए कभी भी परेशान नहीं किया है, यह सी ++ अर्थशास्त्र के साथ सी कोड का इलाज करता है, जो कहता है कि const तत्वों की एक सरणी स्वयं const है - साथ ही साथ।

आप सामान्यत: struct में सरणी लपेटकर द्वारा उसके चारों ओर काम करने में सक्षम हो जाएगा:

typedef struct { char d[a][b][c]; } const *DATA_PTR; 

लेकिन इस Vlas के लिए एक विकल्प नहीं है। मुझे विश्वास नहीं है कि यहां पर बहु-आयामी सरणी का उपयोग न करने के अलावा, या -Wcast-qual का उपयोग न करने के अलावा कोई उपयुक्त कामकाज नहीं है।