Перетворення в недійсні ** на різних компіляторах

Я використовував наступний код через різні компілятори:

int main()
{
    float **a;
    void **b;
    b = a;
}

З того, що я був в змозі зібрати, void **це НЕ загальний покажчик , який означає , що будь-яке перетворення з іншого покажчика не повинен становити принаймні , кинути попередження. Однак ось мої результати (все зроблено в Windows):

• gcc - кидає попередження, як очікувалося.
• g ++ - видає помилку, як очікувалося (це пов’язано з менш дозволеним введенням C ++, правда?)
• MSVC (cl.exe) - не кидає жодних попереджень, навіть із вказаною / Wall.

Моє запитання: чи я щось про щось пропускаю, і чи є якась конкретна причина, чому MSVC не видає попередження? MSVC робить виробляти попередження при перетворенні з void ** в float **.

Ще одна примітка: якщо я замінюю a = bявну конверсію a = (void **)b, жоден із компіляторів не видає попередження. Я подумав, що це має бути недійсний склад, то чому б не було попереджень?

Я задаю це питання тому, що я починав вивчати CUDA та в офіційному Посібнику з програмування ( https://docs.nvidia.com/cuda/cuda-c-programming-guide/index.html#device-memory ) можна знайти наступний код:

// Allocate vectors in device memory
float* d_A;
cudaMalloc(&d_A, size);

який повинен виконати неявну конверсію void **для &d_A, як перший аргумент cudaMallocтипу void **. Подібний код можна знайти у всій документації. Це просто неохайна робота з кінця NVIDIA чи я, знову ж, щось пропускаю? Оскільки nvccвикористовується MSVC, код компілюється без попереджень.

Я щось про щось пропускаю і чи є якась конкретна причина, чому MSVC не видає попередження? MSVC створює попередження при перетворенні з void ** в плаваючий **

Це призначення без виступу є порушенням обмеження, тому стандартний сумісний компілятор надрукує попередження або помилку. Однак MSVC не повністю відповідає C впровадженню.

Ще одна примітка: якщо я замінюю a = b явним перетворенням a = (void **) b, жоден із компіляторів не видає попередження. Я подумав, що це має бути недійсний склад, то чому б не було попереджень?

Перетворення покажчиків за допомогою кастингу дозволяється в деяких ситуаціях. Стандарт C говорить у розділі 6.3.2.3p7 наступне:

Вказівник на тип об'єкта може бути перетворений у вказівник на інший тип об'єкта. Якщо отриманий вказівник неправильно вирівняний для посиланого типу, поведінка не визначена. Інакше при повторному перетворенні результат порівнюється рівним вихідному вказівнику. Коли вказівник на об’єкт перетворюється на вказівник на тип символу, результат вказує на найнижчий адресований байт об'єкта. Послідовні прирости результату, аж до розміру об'єкта, дають покажчики на інші байти об'єкта.

Таким чином, ви можете конвертувати між типами покажчиків за умови, що проблем з вирівнюванням немає, і ви конвертуєте лише назад (якщо тільки ціль не a char *).

float* d_A;
cudaMalloc(&d_A, size);

...

Це просто неохайна робота з кінця NVIDIA чи я, знову ж, щось пропускаю?

Імовірно, ця функція полягає у перенаправлення даного вказівника та запису адреси деякої виділеної пам'яті. Це означало б, що вона намагається написати а float *так, ніби це було void *. Це не те саме, що типове перетворення в / з а void *. Строго кажучи, це виглядає як невизначена поведінка, хоча це "працює", оскільки сучасні процесори x86 (коли вони не в реальному режимі) використовують однакове представлення для всіх типів покажчиків.