«C++ не является безопасным для памяти языком и никто не притворялся бы, что это не так»

Один из подходов, который давно используется, состоит в том, чтобы больше обучать программистов написанию более безопасного кода. Но «нет никаких доказательств того, что комплексное обучение разработчиков на C и C++ действительно решит эту проблему любым существенным способом»

fn f(x: X) { .. }

f(x)

impl Clone for X {
  fn clone(&self) -> Self { .. }
}

f(x.clone())

@app.route('/', methods=["GET"])
def index():
    pass

{
    struct myvector *v = NULL;
    ....
    v = myvector_allocate(...);
    if (v == NULL) {
        goto end;
    }
    ...
end:
    if (v != NULL) {
        myvector_deallocate(v);
    }
}

#include <stdio.h>
#include <stdlib.h>

#define SCOPE(TYPE, NAME, ...) \
  {                            \
    ctor_##TYPE(NAME);         \
    __VA_ARGS__                \
    dtor_##TYPE(NAME);         \
  }                            \
  (void)0

typedef struct {
  int n;
} MyClass;

void ctor_MyClass(MyClass** this) {
  *this = malloc(sizeof(MyClass));
  printf("MyClass::ctor, (this-> %p)\n", (void*)*this);
}

void dtor_MyClass(MyClass** this) {
  printf("MyClass::dtor, (this-> %p)\n", (void*)*this);
  free(*this);
}

int main(int argc, char* argv[]) {
  MyClass* my_class_obj;

  SCOPE(MyClass, &my_class_obj, 
    (*my_class_obj).n = 16;
    printf("(*my_class_obj).p = %d\n", (*my_class_obj).n);
  );

  return 0;
}

MyClass::ctor, (this-> 0x7f0260)
(*my_class_obj).p = 16
MyClass::dtor, (this-> 0x7f0260)

Z>@app.route('/', methods=["GET"])
Z>def index():
Z>    pass
Z>

#![feature(proc_macro_hygiene, decl_macro)]

#[macro_use] extern crate rocket;

#[get("/")]
fn index() -> &'static str {
    "Hello, world!"
}

fn main() {
    rocket::ignite().mount("/", routes![index]).launch();
}

набросок сценария: kirk_johnson попадает в 1980-й год в тело ребенка сохранив все свои знания. И к началу 90-х выпускает компилятор раста и ОС kirkuх целиком на расте c системд и вейландом. Микрософт разоряется, а наш герой становится самым богатым и известным человеком на планете, изобретает социальные сети, смартфоны, финансирует полеты на Марс. А в 2020 предотвращает эпидемию коронавируса.

int callVirtualGet(MyObject* object) { return object->vtbl->virtualGet(object) } // convenience function to avoid mixing up vtbl and data

struct stringHeader 
{ 
  vtable* vtbl; // we can skip explicit mention in C++ due to the included support for the virtual calls
  int m_size;
  short data[0]; // here goes the dynamic part of string
}

E>Ну всё-таки для С++ уровень нужен повыше. И если задачи совсем простые -- типа клепания 100500 шаблонных формочек и отчётов, то С++ таки избыточен

типы C++
+-------------+--------+-------------------------------+
|название     |тип     |категория                      |
+-------------+--------+------------+--+---------------+
|логические   |bool    |            |  |               |
|символьные   |char    |интегральные|  |               |
|целые        |int     |(целые)     |  |               |
+-------------+--------+------------+  |фундаментальные|
|вещественные |double  |арифметические |(встроенные)   |
+-------------+--------+---------------+               |
|отсутствующие|void    |                               |
+-------------+--------+-------------------------------+
|указательные |тип*    |                               |
|массивы      |тип[]   |построенные поверх типов       |
|ссылочные    |тип&    |                               |
+-------------+--------+-------------------------------+
|перечислимые |enum    |                               |
|структуры    |struct  |определяемые пользователем     |
|классы       |class   |                               |
+-------------+--------+-------------------------------+

Фундаментальные типы языка C++ вместе с указателями и массивами предоставляют программисту отражение этого машинного уровня в манере, относительно независимой от конкретной реализации.

В большинстве приложений можно обойтись типом bool ддя логики, типом char для символов, типом int для целых чисел и типом double — для дробных (чисел с плавающей запятой). Остальные фундаментальные типы являются вариациями, предназначенными для оптимизации и решения специальных задач, и их лучше до поры игнорировать. Но, разумеется, их нужно знать для чтения существующего стороннего кода на С и C++.

оптимизация арифметических типов:
1) объём занимаемой памяти
2) точность представления
3) диапазоны значений

без оптимизации рекомендуется использовать арифметические типы:
1) логика bool
2) символы char
3) целые int
4) вещественные double

Если в начале пьесы на стене висит ружье, то к концу пьесы оно должно выстрелить

Усложнять просто, упрощать сложно.
Все должно быть изложено так просто, как только возможно, но не проще.
Будь проще, и ты поймешь, что проще некуда.
Нужно усложнять, чтобы в результате все стало проще, а не упрощать,
чтобы в результате все стало сложнее.
Если существует более сложный способ делать что либо, кто нибудь
непременно его откроет.
На всякого мудреца простоты не напасешься.
Не корчите из себя ничего; простота есть отпечаток гения.
Простота есть ближайшая родственница ума и дарований.
Простота делает жизнь не только более приятной, но… и более чистой и
прекрасной.
Простота есть необходимое условие прекрасного.
Язык правды прост.
Чем проще человек выражается, тем легче его понимают.
В характере, в манерах, в стиле, во всем самое прекрасное — это
простота.
Нет ничего проще, чем величие; воистину, быть простым — значит быть
великим.
Простота — это то, что труднее всего на свете; это крайний предел
опытности и последнее усилие гения.
Стремление к простоте жизни является у сложнейших душ, а все простое
стремится к сложности.
Все люди, занятые истинно важным делом, всегда просты, потому что не
имеют времени придумывать лишнее.
Ничто так, как простота, не содействует сближению людей.
Простота есть необходимое условие прекрасного.