Не вярвам / Компютри и Интернет / Програмисти

>> Зъжалявам - вярно така си го пише в стандарта.

Няма какво да съжаляваш, така си е най-добре. Все пак това не е C, а C++.
__________________

>> Объркването иде от там че ВЦ6 не прави така

В момента нямам инсталирана 6-ца и не мога да проверя, но съм убеден, че не е възможно да има толкова кардинална грешка в компилатора (при копиране на структури да не копира почленнно обектите в тях, а да прави memcpy) и да не съм забелязал. VS6 си има кусури, но съм 99.99% сигурен, че това не е един от тях. Нека ако някой с 6-ца не го мързи да те опровергае. А може и сам да го направиш. По-долу прилагам тестов пример за целта.
__________________

>> Осявен това е налълно възможно да имаш 2 (или повече) инстанции на един клас създадени с от компилация на класа при различен алайнмент, например ако се създават в 2 резлични транслационни единици (срр).

А тва за транслационните единици не ми стана хич ясно, вероятно щото и на теб не ти е ясно. Какъвто е алайна в дефиницията на класа, такъв е в обекта. Алайна в 'транслационната единица' касае подравняването на обекта спрямо съседните му обекти, но не и вътре в него. Т.е. не е възможно да имаш два обекта от един и същи клас с различен алайн на вътрешната структура.

Ако все пак могат да бъдат създадени подобни обекти, то би се дължало само на бъг в прекомпилираните хедъри (там има не малко бъгове, но при чист билд не се проявяват).

И последно: да допуснем, че могат да съществуват подобни обекти (от един клас, но с различен алайн на вътрешната структура). Не виждам как наличието/липсата на експлицитно дефиниран копи конструктор може да подоби, или влоши нещата. Да не предполагаш, че при подобно присвояване компилаторът ще се погрижи да коригира отместванията на обектите от един алайн към друг?!? Не виждам как ще стане.

И накрая ето тестовият пример, който се предполага да печати

#include <iostream>

struct internal
{
internal()
{ // default constructor
std::cout << "internal default constructor" << std::endl;
}

internal( const internal & )
{ // copy constructor
std::cout << "internal copy constructor" << std::endl;
}

internal& operator=( const internal & )
{ // assignment operator
std::cout << "internal assignment operator" << std::endl;
return *this;
}
};

struct container
{
internal _i;
};

void main(void)
{
container c1; // default construction
container c2 = c1; // copy construction
c2 = c1; // assign
}