Выход за границы массива

[220Volt]

Здравствуйте! У меня небольшой вопрос, можно ли считать это корректным кодом:

Type ar[3];
Type *p = &ar[4];

Type ar2[3];
Type *p2 = &ar2[-1];

[220Volt]

Нет, не корректен.

[Stilet]

Не корректен чем? минусом в индексе массива?

[220Volt]

Не исключаю того, что я поторопился с выводом. Рабочий код примерно такой:

#include <algorithm>

int main()
{
    int ar[5] = {1, 2, 3, 4, 5};
    auto p = std::lower_bound(ar, &ar[5], 7);   // &ar[5] - это нормально?
}

или правильней:

int main()
{
    int ar[5] = {1, 2, 3, 4, 5};
    int *end = &ar[4];
    ++ end;
    auto p = std::lower_bound(ar, end, 7);
}

P.S Знаю что можно использовать вектор и не париться

[_Bers]

Сообщение от 220Volt

Здравствуйте! У меня небольшой вопрос, можно ли считать это корректным кодом:

Type ar[3];
Type *p = &ar[4];

Type ar2[3];
Type *p2 = &ar2[-1];

С точки зрения синтаксиса, код - корректен.
С точки зрения использования - зависит от целей автора.
Может быть автор ошибся, а может быть он знает что делает.

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

[_Bers]

Сообщение от 220Volt

Не исключаю того, что я поторопился с выводом. Рабочий код примерно такой:

#include <algorithm>

int main()
{
    int ar[5] = {1, 2, 3, 4, 5};
    auto p = std::lower_bound(ar, &ar[5], 7);   // &ar[5] - это нормально?
}

или правильней:

int main()
{
    int ar[5] = {1, 2, 3, 4, 5};
    int *end = &ar[4];
    ++ end;
    auto p = std::lower_bound(ar, end, 7);
}

P.S Знаю что можно использовать вектор и не париться

Я пишу так:

#include <iostream>    
#include <algorithm>

using namespace std;

int main()
{
    int ar[5] = {1, 2, 3, 4, 5};

    int* p = std::lower_bound(ar, ar+5, 7); 

    //мне кажется: arr+5 это короче, и читабельнее, проще понять
    //чем &arr[5]

    (p==ar+5)? (cout<<" p not found\n") : (cout<<"p="<<*p<<endl);

   //обрати внимание: lower_bound вернет &arr[5]
   //что бы просигналить: элемент не найден

}

Если тебя смущает факт взятия адреса элемента, которого как бы нет в массиве - не парься.

STL-функции часто оперируют понятием "адрес элемента идущего за последним элементом массива".

Например:

std::vector<int> vec;

vec.end(); //вернет итератор который указывает на элемент идущий за последним элементом вектора.

Твоя задача - прежде чем использовать получаемый итератор, сначала проверить - не является ли он за последним. И только убедившись - использовать.

[220Volt]

Благодарю!

[220Volt]

Небольшой тест, думаю по делу:

	volatile int *p = nullptr;
	cout<<*p;		// исключение
	cout<<&*p;		// ok, разыменование отсутствует
	cout<<&p[0];	// ok, разыменование отсутствует