Объявление функции с массивом

@Deelooc · Регистрация: 09.06.2016

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

Сейчас задам очень странный вопрос)
Что это значит: int F1(char[]) не могу понять)) спасибо!

Добавлено через 25 минут
и вот ещё вопрос: a[i] += 'A' -'a'

@zss · 28.07.2016, 11:19

1. Ответ в названии темы.
F1 - функция, возвращающая int, параметр которой текстовый массив

2. 'A' -'a' - это разница между кодом символов верхнего и нижнего регистра.
Однако, в кодовой таблице заглавные буквы расположены раньше, поэтому 'A' -'a' отрицательное.
Т.е. a[i] += 'A' -'a' будет переводить от нижнего регистра к верхнему.
Еще стоит обратить внимание, что массив a должен иметь тип unsigned char,
иначе такое преобразование сработает только для букв латинского алфавита.

@HelicopterK52 · 28.07.2016, 11:42

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

параметр которой текстовый массив

параметр имеет тип char*.

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

что массив a должен иметь тип unsigned char,

А если char уже unsigned?

@Deelooc · 28.07.2016, 11:49 **[ТС]**

Спасибо за помощь)

@rikimaru2013 · 28.07.2016, 11:50

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

параметр имеет тип char*

вы не правы

@HelicopterK52 · 28.07.2016, 12:11

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

вы не правы

Да ладно? Пруф в студию, посмеемся вместе

@rikimaru2013 · 28.07.2016, 12:41

C++

#include <iostream>
 
template< std::size_t N >                   
int F1( char(&arr)[N] )                     
{
    std::cout << " My type is char(&arr)[" << N << "]" << std::endl;
    return -2;
}
 
int main()
{
    char text[] = "Privet";
 
    F1( text );
}

Почему отлавливает char* ? Потому, что передается в таком случаи text[0]. Почему если оба варианта происходит ошибка компилятора в выборе нужной функции для вызова - тут ответ http://www.quizful.net/interview/cpp/4vmrpY9End8Y . При передачи массива в функцию принимать обычный указатель мы теряем данные об размере как минимум

P.S. HelicopterK52, хватит уже обижаться, пмс

@HelicopterK52 · 28.07.2016, 12:51

rikimaru2013, это Вы мне пруф привели или что? Вы меня удивляете.
у ТС:

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

C++

1	int F1(char[])

у Вас:

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

C++

1	int F1( char(&arr)[N] )

Но даже в этом случае параметр имеет тип ссылки на массив, а не массив.

C++

//g++  4.9.3
 
#include <iostream>
#include <iomanip>
#include <type_traits>
 
 
 
template< std::size_t N >                   
void F1( char(&arr)[N] )                     
{
    char arr2[1];
    std::cout << "F1" << std::endl;
    std::cout << std::boolalpha << "arr - array: " << std::is_array<decltype(arr)>::value << std::endl;
    std::cout << std::boolalpha << "arr - pointer: " << std::is_pointer<decltype(arr)>::value << std::endl;
    std::cout << std::boolalpha << "arr - reference: " << std::is_reference<decltype(arr)>::value << std::endl;
    
    std::cout << std::boolalpha << "arr2 - array: " << std::is_array<decltype(arr2)>::value << std::endl;
    std::cout << std::boolalpha << "arr2 - pointer: " << std::is_pointer<decltype(arr2)>::value << std::endl;
    std::cout << std::boolalpha << "arr2 - reference: " << std::is_reference<decltype(arr2)>::value << std::endl;
}
 
 
 
 
             
void F2( char arr[])                     
{
    std::cout << "F2" << std::endl;
    std::cout << std::boolalpha << "arr - array: " << std::is_array<decltype(arr)>::value << std::endl;
    std::cout << std::boolalpha << "arr - pointer: " << std::is_pointer<decltype(arr)>::value << std::endl;
    std::cout << std::boolalpha << "arr - reference: " << std::is_reference<decltype(arr)>::value << std::endl;
}
 
 
 
 
 
int main()
{
    char text[] = "Privet";
 
    F1( text );
    F2( text );
}

http://rextester.com/RBM5504

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

HelicopterK52, хватит уже обижаться

Как не обижаться, если Вы ерунду сморозили?

@DrOffset · 28.07.2016, 13:01

rikimaru2013, хочу заступиться за HelicopterK52.
Сигнатурка функции, котору дал автор, выглядит так:

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

C++

1	int F1(char[])

При этом HelicopterK52 на это сказал, что char[] в данном случае на самом деле char*.

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

параметр имеет тип char*.

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

C++

1 2	std::is_same<void(int(double)), void(int()(double))>::value; std::is_same<void(char[]), void(char )>::value;

http://rextester.com/UQG62023

@HelicopterK52 · 28.07.2016, 13:07

Не по теме:

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

хочу заступиться за HelicopterK52

Я обзавелся мощной обороной и союзниками :)

@DrOffset · 28.07.2016, 13:15

С помощью данной особенности можно реализовать некоторые интересные проверки.
Пользуясь случаем, дам ссылку свою статью на затронутую тему (применительно к типам функций).

@HelicopterK52 · 28.07.2016, 13:17

Не по теме:

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

Пользуясь случаем, дам ссылку свою статью

Читал когда-то, интересно :)

@rikimaru2013 · 28.07.2016, 14:06

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

Поэтому данные выражения истинны

а что за трюк с void ?

@DrOffset · 28.07.2016, 14:14

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

а что за трюк с void ?

Это не трюк. Это возвращаемое значение функции.
Мы же говорим о типе параметра функции, и как этот тип в контексте параметра функции видоизменяется.
Поэтому я и сравниваю в is_same два типа функций, которые параметром принимают массив и указатель, функцию и указатель на функцию, и эти типы оказываются равны.
Ну можно написать по-другому (будет фактически тоже самое):

C++

void boo1(int()) {}
void boo2(int(*)()) {}
 
void foo1(char[]) {}
void foo2(char *) {}
 
int main()
{
    std::cout << std::is_same<decltype(boo1), decltype(boo2)>::value << '\n';
    std::cout << std::is_same<decltype(foo1), decltype(foo2)>::value;
}

http://rextester.com/MGYWI74809

@rikimaru2013 · 28.07.2016, 14:26

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

Это не трюк

C++

1	void(int(*)(double))

А как тогда это читается? Метод возвращающий void и принимающий безимяный указатель на функцию, которая возвращает int и принимает double. Зачем так было писать - вот и спрашиваю

@hoggy · 28.07.2016, 14:31

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

void(int(*)(double))

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

А как тогда это читается?

тип функции, которая ничего не возвращает.
и принимает указатель на функцию, которая принимает double,
и возвращает int.

@DrOffset · 28.07.2016, 14:41

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

Зачем так было писать - вот и спрашиваю

Как зачем, чтобы показать, что происходит. Мне кажется, ты не на том внимание акцентируешь

На первый вопрос см. ответ hoggy.

@rikimaru2013 · 28.07.2016, 14:53

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

Мне кажется, ты не на том внимание акцентируешь

А не за чем было меня запутывать))))

Почему не (псевдокод):

C++

1	is_same( void(char[]), void(char*) );

зачем это было в примере

C++

1	std::is_same<void(int(double)), void(int(*)(double))>::value;

Запутали лишними строчками)

@hoggy · 28.07.2016, 14:56

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

Почему

короче(!)
это такое сишное легаси.

суть в том, что char[] в аргументах функций и char* это одно и тоже.
первое выглядит как массив, но на самом деле это нефига не массив,
а самый обычный указатель.

сишка - язык раздолбаев.

@DrOffset · 28.07.2016, 15:02

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

Запутали лишними строчками)

Там была такая строка, именно как ты написал:

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

is_same( void(char[]), void(char*) );

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

std::is_same<void(char[]), void(char *)>::value;

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

И не стыдно?

@Deelooc 0 / 0 / 0 Регистрация: 09.06.2016 Сообщений: 19
		1
	Объявление функции с массивом 28.07.2016, 10:01. Показов 1372. Ответов 20 Метки нет (Все метки) Сейчас задам очень странный вопрос) Что это значит: int F1(char[]) не могу понять)) спасибо! Добавлено через 25 минут и вот ещё вопрос: a[i] += 'A' -'a' 0

@zss Модератор 13507 / 10757 / 6412 Регистрация: 18.12.2011 Сообщений: 28,713
	28.07.2016, 11:19	2
	1. Ответ в названии темы. F1 - функция, возвращающая int, параметр которой текстовый массив 2. 'A' -'a' - это разница между кодом символов верхнего и нижнего регистра. Однако, в кодовой таблице заглавные буквы расположены раньше, поэтому 'A' -'a' отрицательное. Т.е. a[i] += 'A' -'a' будет переводить от нижнего регистра к верхнему. Еще стоит обратить внимание, что массив a должен иметь тип unsigned char, иначе такое преобразование сработает только для букв латинского алфавита. 0

@HelicopterK52 829 / 253 / 34 Регистрация: 27.07.2016 Сообщений: 497 Записей в блоге: 1
	28.07.2016, 11:42	3
	Сообщение от zss параметр которой текстовый массив параметр имеет тип `char`. Сообщение от zss* что массив a должен иметь тип unsigned char, А если char уже unsigned? 0

@Deelooc 0 / 0 / 0 Регистрация: 09.06.2016 Сообщений: 19
	28.07.2016, 11:49 [ТС]	4
	Спасибо за помощь) 0

@rikimaru2013 2549 / 1208 / 358 Регистрация: 30.11.2013 Сообщений: 3,826
	28.07.2016, 11:50	5
	Сообщение от HelicopterK52 параметр имеет тип char* вы не правы 0

@HelicopterK52 829 / 253 / 34 Регистрация: 27.07.2016 Сообщений: 497 Записей в блоге: 1
	28.07.2016, 12:11	6
	Сообщение от rikimaru2013 вы не правы Да ладно? Пруф в студию, посмеемся вместе 0

@HelicopterK52
	28.07.2016, 13:07 #10
	Не по теме: Сообщение от DrOffset хочу заступиться за HelicopterK52 Я обзавелся мощной обороной и союзниками :) 0

@DrOffset 18844 / 9843 / 2408 Регистрация: 30.01.2014 Сообщений: 17,285
	28.07.2016, 13:15	11
	С помощью данной особенности можно реализовать некоторые интересные проверки. Пользуясь случаем, дам ссылку свою статью на затронутую тему (применительно к типам функций). 5

@HelicopterK52
	28.07.2016, 13:17 #12
	Не по теме: Сообщение от DrOffset Пользуясь случаем, дам ссылку свою статью Читал когда-то, интересно :) 0

@rikimaru2013 2549 / 1208 / 358 Регистрация: 30.11.2013 Сообщений: 3,826
	28.07.2016, 14:06	13
	Сообщение от DrOffset Поэтому данные выражения истинны а что за трюк с void ? 0

@hoggy 8739 / 4317 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	28.07.2016, 14:31	16
	Сообщение от rikimaru2013 void(int()(double)) Сообщение от rikimaru2013* А как тогда это читается? тип функции, которая ничего не возвращает. и принимает указатель на функцию, которая принимает double, и возвращает int. 1

@DrOffset 18844 / 9843 / 2408 Регистрация: 30.01.2014 Сообщений: 17,285
	28.07.2016, 14:41	17
	Сообщение от rikimaru2013 Зачем так было писать - вот и спрашиваю Как зачем, чтобы показать, что происходит. Мне кажется, ты не на том внимание акцентируешь На первый вопрос см. ответ hoggy. 0

@hoggy 8739 / 4317 / 960 Регистрация: 15.11.2014 Сообщений: 9,760
	28.07.2016, 14:56	19
	Сообщение от rikimaru2013 Почему короче(!) это такое сишное легаси. суть в том, что char[] в аргументах функций и char* это одно и тоже. первое выглядит как массив, но на самом деле это нефига не массив, а самый обычный указатель. сишка - язык раздолбаев. 2

@DrOffset 18844 / 9843 / 2408 Регистрация: 30.01.2014 Сообщений: 17,285
	28.07.2016, 15:02	20
	Сообщение от rikimaru2013 Запутали лишними строчками) Там была такая строка, именно как ты написал: Сообщение от rikimaru2013 is_same( void(char[]), void(char) ); Сообщение от DrOffset* std::is_same<void(char[]), void(char *)>::value; А вторая строка для того, чтобы показать, что это применимо не только к массивам, но и к функциям. Но ты похоже порыва образовательного не оценил, и вместо этого обвиняешь в запутывании И не стыдно? 1