Как работает static cast?

Question

[Gad_h]

Что будет если использовать static_cast в C++ не со стандартными не полиморфными классами, стандартными в смысле как int, double и т.д. ? То есть используя классы разные классс со своими блекджеками и функциями.

Answer 1

[MiiNiPaa]

Пытается произвести преобразование используя определённые операторы преобразования и конструкторы. Если подобного преобразования нет, выдаст ошибку.

С указателями на классы связанные отношением наследования всё несколько сложнее:

1) Преобразование указателя на дочерний класс в указатель на базовый.
static_cast безопасно приводит типы: возвращаемое значение — указатель на базовый субобъект дочернего класса.

2) Преобразование указателя на базовый класс в указатель на дочерний.
Преобразование всегда успешно (нет ошибки компиляции). Если базовый указатель указывает на субобъект дочернего класса, приведение успешно и безопасно. Если базовый указатель не указывает на субобъект дочернего класса, то результат приведения не определён и может случится что угодно.

struct base 
{};
struct derived: base
{};
//...
derived* d = new derived;

//Работает, безопасно
base* b = static_cast<base*>(d);

//Работает, безопасно так как b на самом деле указывает на derived
d = static_cast<derived*>(b);

b = new base;
//Undefined Behavior. Программа превращается в тыкву.
d = static_cast<derived*>(b);

Comments

[Gad_h]

То есть:
class Base{
publick:
int a;
private:
int e;
}
class Derived{
public:
int f;
private:
int s;
}
Base ob;
Derived od;
Derived *d;
static_cast(*d);

Просто не прокатит?

[MiiNiPaa]

Gad_h: Оберните код в тег code. Ничего не разобрать. Если вопрос про указатели на классы, унаследованные один от другого, то там есть нюансы.

[Gad_h]

MiiNiPaa:
То есть:

class Base{
publick:
int a;
private:
int e;
}
class Derived{
public:
int f;
private:
int s;
}
Base ob;
Derived od;
Derived *d;
static_cast(*d);

Просто не прокатит?

[MiiNiPaa]

Gad_h: Код всё равно бессмысленен (я подозревал что парсер съел угловые скобки, но нет, он совсем бессмысленен), но я обновил ответ.