Попробовав Rust после C++, я узнал, что там есть огромное преимущество под названием "заимствование". Эта особенность не даёт скомпилировать примерно такой код:
#include <string>
#include <vector>
#include <iostream>
int main() {
std::vector<std::string> vec{"Volvo", "BMW"};
std::string& ref = vec[0];
vec.push_back("Mercedes");
std::cout << ref << std::endl;
return 0;
}
Такой код в C++ приводит к неопределённому поведению (undefined behavior). Недавно я задался вопросом, а как с этим в Java и решил скомпилировать и запустить аналогичный код:
import java.util.ArrayList;
public class Main {
public static void main(String args[]) {
ArrayList<String> list = new ArrayList<String>();
list.add("Volvo");
list.add("BMW");
String first = list.get(0);
list.add("Mercedes");
System.out.println(first);
}
}
Как и ожидалось, в Java ссылка на первый элемент массива последовала за массивом (как я понимаю, здесь, также как в C++, массив изменил своё расположение после вызовов add
) и продолжила "ссылаться" на нужный элемент.
Почему в Java такое:
- компилируется
- ссылка продолжает ссылаться на тот же элемент массива ?