Приведение char () [N] к const char () [N]

@Nikitko_Cent · Регистрация: 27.10.2011

Author24 — интернет-сервис помощи студентам

Как вообще сделать такую вещь правильно?

Скажем, завёл я массив из N символов:

C    
        
    Скопировано
1
char arr[N];

Поработал с ним как то, и хочу написать функцию, которая как то обрабатывает этот массив, при этом не изменяя его
Конечно же, я хочу такое поведение явно отразить в прототипе функции, и заодно себя ограничить:

C    
        
    Скопировано
1
int getSomethingFromArray(const char (*array)[N])

При последующем использовании:

C    
        
    Скопировано
1
getSomethingFromArray(&arr);

Компилятор наказывает меня таким вот предупреждением:

C    
        
    Скопировано
1
2
3
warning: passing argument 1 of ‘getSomethingFromArray’ from incompatible pointer type
      getSomethingFromArray(&arr);
note: expected ‘const char (*)[80]’ but argument is of type ‘char (*)[80]’

(N == 80)

Только не предлагайте варианты с кастом к char * и передачей значения N

Убежденный · 29.09.2016, 18:35

Не уловил вообще проблемы.
Никаких приведений типов не требуется ведь:

C++    
        
            
                
                
                
                
            
        
    Скопировано
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
#include <cstdio>
 
void func(int const * p, size_t Size)
{
    for (size_t i = 0; i < Size; ++i)
    {
        printf("%d\r\n", p[i]);
    }
}
 
int main()
{
    int Arr[] = {1,2,3,4,5};
    func(Arr, 5);
    return 0;
}

1
2
3
4
5

@Novi4ekC · 29.09.2016, 18:46

Nikitko_Cent,

C    
        
            
                
                
                
                
            
        
    Скопировано
1
2
3
4
5
char arr[N];
...
int getSomethingFromArray(const char *array);
...
getSomethingFromArray(arr);

вот так правильно, arr это и есть указатель, а (*array)[N] - это походу массив указателей

@Вованя · 29.09.2016, 19:43

Сообщение от Novi4ekC

а (*array)[N] - это походу массив указателей

это указатель на массив.

@TheCalligrapher · 30.09.2016, 07:48

Сообщение от Nikitko_Cent

Только не предлагайте варианты с кастом к char * и передачей значения N

К сожалению, если вы хотите использовать именно указатель на массив, то без явного преобразования (каста) в С не обойтись.

Это одна из давних известных "недоделок" языка С в области константной корректности. Язык С не поддерживает неявного преобразования T ** -> const T *const * и во многом родственного ему неявного преобразования T (*)[N] -> const T (*)[N]

В языке С++ эта недоделка была исправлена, а в С ситуация остается неизменной по сей день.

P.S. Компилятор GCC по своей инициативе исправляет эту "недоделку" и в С коде (в варианте с массивом), но в режиме -pedantic ошибка по-прежнему рапортуется, как и должна.

-------------------------------------------------------------------------------------------------------------

Добавлено через 15 минут

Сообщение от Novi4ekC

вот так правильно, arr это и есть указатель

Когда речь идет о работе с массивами фиксированного, предзаданного на стадии компиляции размера, то "правильно" - именно так, как сделал ТС. Только надо помнить о неприятном поведении костантных преобразований.

Сообщение от Novi4ekC

а (*array)[N] - это походу массив указателей

Нет. Это указатель на массив, а не массив указателей.

HighPredator · 30.09.2016, 08:40

Не по теме:

Сообщение от TheCalligrapher

Это одна из давних известных "недоделок" языка С

Лично я всегда рассматривал это и подобные не как недоделки языка, а средство усиления контроля, чтобы гарантировать что разработчик четко понимает что он делает. Естесственно есть кейсы, когда он абсолютно не понимает, что творит, но по крайней мере это заставляет даже в этом случае делать как надо.

@Nikitko_Cent · 30.09.2016, 10:52 **[ТС]**

Сообщение от TheCalligrapher

К сожалению, если вы хотите использовать именно указатель на массив, то без явного преобразования (каста) в С не обойтись.

Ндаа, интересная штука получается.
А я всего лишь хотел написать универсальный список, который будет работать с за-typedef-ленным типом.
И вот если воткнуть в него массив фиксированной длины, то на стадии компиляции вываливается куча предупреждений от функций, где с объектом работают по указателю на константу

Сообщение от TheCalligrapher

P.S. Компилятор GCC по своей инициативе исправляет эту "недоделку" и в С коде (в варианте с массивом), но в режиме -pedantic ошибка по-прежнему рапортуется, как и должна.

И таки эти ворнинги выплёвывает GCC без -pedantic (единственный ключ, с которым компилил, это -pthread)

Сообщение от HighPredator

Лично я всегда рассматривал это и подобные не как недоделки языка, а средство усиления контроля, чтобы гарантировать что разработчик четко понимает что он делает. Естесственно есть кейсы, когда он абсолютно не понимает, что творит, но по крайней мере это заставляет даже в этом случае делать как надо.

А что может случиться плохого, если придать объекту константность?

Добавлено через 3 минуты

Сообщение от TheCalligrapher

Это одна из давних известных "недоделок" языка С в области константной корректности.

Меня интересует вопрос : как вообще в моём случае относиться к этому предупреждению? Вдруг там в стандарте по этому поводу что-нибудь очень нехорошее сказано, типа undefined behaviour

@TheCalligrapher · 30.09.2016, 17:50

Сообщение от Nikitko_Cent

И таки эти ворнинги выплёвывает GCC без -pedantic (единственный ключ, с которым компилил, это -pthread)

По-видимому, зависит от версии GCC. 4 - выдает по умолчанию, 5 - только с -pedantic

Вот этот - не выдает

http://coliru.stacked-crooked.... 139ee1771d

@Nikitko_Cent · 30.09.2016, 18:55 **[ТС]**

TheCalligrapher,
а, ну у меня 4

Новые блоги и статьи Все статьи Все блоги /
JavaScript: Управление памятью и улучшение производительности run.dev 29.03.2025 В отличие от низкоуровневых языков программирования, JavaScript не требует ручного выделения и освобождения памяти. Здесь работает автоматический сборщик мусора, который определяет, какие объекты. . .	Мультитенантная архитектура со SpringBoot и PostgreSQL ArchitectMsa 29.03.2025 SaaS-приложения редко обслуживают одного клиента и обычно они должны поддерживать множество организаций, каждая из которых работает в своём изолированном пространстве. Мультитенантная архитектура. . .	std::span в C++: Производительность и лучшие практики NullReferenced 28.03.2025 std::span — одно из самых недооценённых нововведений стандарта C++20, которое радикально меняет подход к работе с непрерывными последовательностями данных. По сути, это невладеющее представление. . .	Многопоточность в C#: Threadpool UnmanagedCoder 28.03.2025 Пул потоков в C# — это коллекция заранее созданных и готовых к использованию потоков, которые находятся в распоряжении приложения. Вместо того чтобы создавать и уничтожать потоки для каждой небольшой. . .	Вопросы на собеседованиях по микросервисам ArchitectMsa 27.03.2025 Работодатели ищут не просто разработчиков, знающих базовые концепции, а специалистов, разбирающихся в тонкостях масштабирования, отказоустойчивости и производительности. Сейчас на первый план выходят. . .
Взаимодействие Python с REST API py-thonny 27.03.2025 REST API - это архитектурный стиль взаимодействия компонентов распределённого приложения в сети. Python располагает функциональным набором инструментов для работы с REST API и основная библиотека для. . .	sshd restrictions, ssh access limitations jigi33 26.03.2025 sshd restrictions \| ssh access limitations рестрикции доступа на сервер sshd статья: https:/ / www. golinuxcloud. com/ restrict-allow-ssh-certain-users-groups-rhel	Компиляция C++ с Clang API NullReferenced 24.03.2025 Компиляторы обычно воспринимаются как черные ящики, которые превращают исходный код в исполняемые файлы. Мы запускаем компилятор командой в терминале, и вуаля — получаем бинарник. Но что если нужно. . .	Многопоточность в C#: Класс Thread UnmanagedCoder 24.03.2025 Когда запускается приложение на компьютере, операционная система создаёт для него процесс - виртуальное адресное пространство. В C# этот процесс изначально получает один поток выполнения — главный. . .	SwiftUI Data Flow: Передача данных между представлениями mobDevWorks 23.03.2025 При первом знакомстве со SwiftUI кажется, что фреймворк предлагает избыточное количество механизмов для передачи данных: @State, @Binding, @StateObject, @ObservedObject, @EnvironmentObject и другие. . . .

@Вованя 153 / 148 / 66 Регистрация: 20.02.2014 Сообщений: 556
	29.09.2016, 19:43
	Сообщение от Novi4ekC а (*array)[N] - это походу массив указателей это указатель на массив. 0

@TheCalligrapher Вездепух 12873 / 6737 / 1810 Регистрация: 18.10.2014 Сообщений: 17,055
	30.09.2016, 07:48
	Сообщение было отмечено Nikitko_Cent как решение Решение Сообщение от Nikitko_Cent Только не предлагайте варианты с кастом к char * и передачей значения N К сожалению, если вы хотите использовать именно указатель на массив, то без явного преобразования (каста) в С не обойтись. Это одна из давних известных "недоделок" языка С в области константной корректности. Язык С не поддерживает неявного преобразования `T ** -> const T const ` и во многом родственного ему неявного преобразования `T ()[N] -> const T ()[N]` В языке С++ эта недоделка была исправлена, а в С ситуация остается неизменной по сей день. P.S. Компилятор GCC по своей инициативе исправляет эту "недоделку" и в С коде (в варианте с массивом), но в режиме `-pedantic` ошибка по-прежнему рапортуется, как и должна. ------------------------------------------------------------------------------------------------------------- Добавлено через 15 минут Сообщение от Novi4ekC вот так правильно, arr это и есть указатель Когда речь идет о работе с массивами фиксированного, предзаданного на стадии компиляции размера, то "правильно" - именно так, как сделал ТС. Только надо помнить о неприятном поведении костантных преобразований. Сообщение от Novi4ekC а (*array)[N] - это походу массив указателей Нет. Это указатель на массив, а не массив указателей. 1

HighPredator
	30.09.2016, 08:40
	Не по теме: Сообщение от TheCalligrapher Это одна из давних известных "недоделок" языка С Лично я всегда рассматривал это и подобные не как недоделки языка, а средство усиления контроля, чтобы гарантировать что разработчик четко понимает что он делает. Естесственно есть кейсы, когда он абсолютно не понимает, что творит, но по крайней мере это заставляет даже в этом случае делать как надо. 0

@Nikitko_Cent 148 / 118 / 37 Регистрация: 27.10.2011 Сообщений: 690
	30.09.2016, 10:52 [ТС]
	Сообщение от TheCalligrapher К сожалению, если вы хотите использовать именно указатель на массив, то без явного преобразования (каста) в С не обойтись. Ндаа, интересная штука получается. А я всего лишь хотел написать универсальный список, который будет работать с за-typedef-ленным типом. И вот если воткнуть в него массив фиксированной длины, то на стадии компиляции вываливается куча предупреждений от функций, где с объектом работают по указателю на константу Сообщение от TheCalligrapher P.S. Компилятор GCC по своей инициативе исправляет эту "недоделку" и в С коде (в варианте с массивом), но в режиме -pedantic ошибка по-прежнему рапортуется, как и должна. И таки эти ворнинги выплёвывает GCC без -pedantic (единственный ключ, с которым компилил, это -pthread) Сообщение от HighPredator Лично я всегда рассматривал это и подобные не как недоделки языка, а средство усиления контроля, чтобы гарантировать что разработчик четко понимает что он делает. Естесственно есть кейсы, когда он абсолютно не понимает, что творит, но по крайней мере это заставляет даже в этом случае делать как надо. А что может случиться плохого, если придать объекту константность? Добавлено через 3 минуты Сообщение от TheCalligrapher Это одна из давних известных "недоделок" языка С в области константной корректности. Меня интересует вопрос : как вообще в моём случае относиться к этому предупреждению? Вдруг там в стандарте по этому поводу что-нибудь очень нехорошее сказано, типа undefined behaviour 0

@TheCalligrapher Вездепух 12873 / 6737 / 1810 Регистрация: 18.10.2014 Сообщений: 17,055
	30.09.2016, 17:50
	Сообщение от Nikitko_Cent И таки эти ворнинги выплёвывает GCC без -pedantic (единственный ключ, с которым компилил, это -pthread) По-видимому, зависит от версии GCC. 4 - выдает по умолчанию, 5 - только с `-pedantic` Вот этот - не выдает http://coliru.stacked-crooked.... 139ee1771d 0

@Nikitko_Cent 148 / 118 / 37 Регистрация: 27.10.2011 Сообщений: 690
	30.09.2016, 18:55 [ТС]
	TheCalligrapher, а, ну у меня 4 0

Приведение char (*) [N] к const char (*) [N]

Решение

Приведение char () [N] к const char () [N]