[C/C++] Undefined behavior [из Какому языку учить в школе?

PooH

Лучше опустить С и сразу начинать с С++ - так граблей поменьше и наступаешь на них только в профессиональной разработке.
тостовато набрасываешь

#include <stdio.h>

#include <stdlib.h>

 

int main {

  int *p = (int*)malloc(sizeof(int;

  int *q = (int*)realloc(p, sizeof(int;

  *p = 1;

  *q = 2;

  if (p == q)

    printf("%d %d\n", *p, *q);

}

$ clang -O realloc.c ; ./a.out 

1 2

 

Anturag

Лучше опустить С и сразу начинать с С++ - так граблей поменьше и наступаешь на них только в профессиональной разработке.

yroslavasako

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

evolet

$ cat x.cc 

#include <iostream>

#include <sstream>



struct Log

{

    std::ostringstream buffer_;

    std::ostringstream& stream { return buffer_; }

    ~Log { std::cout << buffer_.str; }

};



int main

{

    Log.buffer_ << "First" << " line\n";

    Log.stream << "Second" << " line\n";

    return 0;

}

$ g++ -std=c++03 x.cc ; ./a.out

0x400df8 line

Second line

$ g++ -std=c++11 x.cc ; ./a.out

First line

Second line

$

  

Anturag

может и ошибка, но поведение компилятора контр-интутитивно. Видишь ошибку - выбрасывай ошибку компиляции.
 
И при этом что возникает проблема локальности. Это объявление realloc'а могло быть в совсем другом куске программы. А если посмотреть в отрыве от него, то код абсолютно валиден. Подставь туда любые два пойнтера, и станет ясно, что ситуация когда пойнтеры равны, а их значения - нет, не возможна.

#include <iostream>



using namespace std;



int main

{

	int *p = new int;

	delete p;

	int *q = new int;

	*p = 1;

	*q = 2;

	if (p == q)

		cout << *p << " " << *q << "\n";



	return 0;

}

yroslavasako

#include <stdio.h>

#include <stdlib.h>

 

int main {

  int *p = (int*)malloc(sizeof(int;

  int *q = (int*)realloc(p, sizeof(int;

  *p = 1;

  *q = 2;

  if ( p == q) {

    *p = 1;

    *q = 2;

    printf("%d %d\n", *p, *q);

  };

}

$ clang -O realloc.c; ./a.out 

1 2

Anturag

Ничем не лучше. Плюсы имеют ту же самую проблему.

Си - это язык, где есть адресная арифметика. И если два адреса равны между собой, не важно как именно они получены, хоть сложением, хоть умножением, хоть сложной функций вроде realloc, то в них должны храниться одинаковые значения.

yroslavasako

  if ( p == q) {

    *p = 1;

    *q = 2;

    printf("%d %d\n", *p, *q);

  };

salamander

Я ожидаю предсказуемости.

Нормальные компиляторы, встретив выражение, после которого остальная программа теряет смысл, просто выдают ошибку и не пытаются собрать ложную программу.

podluchaya

salamander

#include <stdio.h>



void *create_ptr(void)

{

    char c;

    return &c + 11;

}



int main(void)

{

    int *p = create_ptr;

    *p = 0eadbeef;

    printf("%x\n", *p);

    printf("%x\n", *p);

    return 0;

}

podluchaya

PooH

Чувак, а ты точно в своем изначальном высказывании не перепутал С++ с Java'ой какой-нибудь?

yroslavasako

Погоди-погоди. Ты хочешь чтобы undefined behavior был undefined но при этом предсказуем? Тут как-бы содержится противоречие.

yroslavasako

так как один из них валидный указатель, а другой нет

serega1604

yroslavasako

  if ( p == q) {

    *p = 1;

    *q = 2;

    printf("%d %d\n", *p, *q);

  };

salamander

if ( p == q) {

    *p = 1;

    // приешл другой поток и сделала q = malloc(sizeof(int;

    *q = 2;

    printf("%d %d\n", *p, *q);

};

yroslavasako

salamander

Потому что внутри блока if (p == q) уже никакой неопределённости нет. Известно что эти указатели равны, и раз один из них валиден, то валиден и второй.

#include <stdio.h>

#include <stdlib.h>



int main(void) {

  int *p = (int*)malloc(sizeof(int;

  int *q = (int*)realloc(p, sizeof(int;

  if (p == q) {                  // <- Shit happens here

    *p = 1;

    *q = 2;

    printf("%d %d\n", *p, *q);

  }

  return 0;

}

yroslavasako

salamander

stm5872449

но что делать.

podluchaya

PooH

 

#include <iostream>



using namespace std;



int main

{

	int *p = new int;

	delete p;

	int *q = new int;

	*p = 1;

	*q = 2;

	if (p == q)

		cout << *p << " " << *q << "\n";



	return 0;

}

Ну и чем C++ лучше-то? Где ошибка компилятора? Это объявление realloc'а "delete p" могло быть в совсем другом куске программы.

 





auto p  = std::make_shared<int>

auto q = p;

p.reset;



if(p)

    *p = 1;



if(q)

    *q = 2;



if(p == q)

    cout << *p << " " << *q << "\n";





 

margadon

PooH

вот только твоё "гладенько" это семантически совсем другой код, тут даже нет использования указателя на удалённый объект

margadon

PooH

и в результате сложность просто перекочует из одного места программы в другое.

margadon

сложность в принципе не уменьшается

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

PooH