Различия компиляторов. В чем причина?

@Питекантроп · Регистрация: 14.06.2010

Студворк — интернет-сервис помощи студентам

есть небольшой код, который успешно компилируется в VS 2010

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
#include <iostream>
 
template <class T>
class complex
{
public:
    T re, im;
    complex(T re = 0, T im = 0)
    {
        this->re = re;
        this->im = im;
    }
    complex(complex<T> & c)
    {
        this->re = c.re;
        this->im = c.im;
    }
 
    complex<T> operator + (complex<T> & c)
    {
        return complex<T>(re + c.re,im + c.im);
    }
 
    complex<T> operator - (complex<T> & c)
    {
        return complex<T>(re - c.re,im - c.im);
    }
    complex<T> & operator = (complex<T> & c)
    {
        this->re = c.re;
        this->im = c.im;
        return *this;
    }
    complex<T> operator + (T x)
    {
        return complex<T>(re + x,im);
    }
};
 
using namespace std;
int main(int argc, char* argv[])
{
    complex<double> a(1,3), b, c;
    c = a;
    b = a + c + 10;
    cout<<b.re<<" "<<b.im<<endl;
    cin.get();
    return 0;
}

При попытке переноса его на с++ builder 2010 возникают две ошибки:
1. Компилятору не нравится конструктор копирования. Интересно, что в старом добром builder 6 такой ошибки не возникает.
2. Не нравится вызов оператора = в строке

C++
1
b = a + c + 10;

Первое устраняется удалением конструктора копирования (он тут по сути и не нужен).
Второе - в передаче параметров оператора = через стек, а не по ссылке

C++
1
complex<T> & operator = (complex<T> c)

Просмотр дизассемблированного кода дает ожидаемые результаты: в VS передает в стек указетель, а билдер - копирует туда экземпляр класса (т.е. в случае double - в 4 раза больше).
Тестировал на компиляторе g++ - ему по душе билдеровский вариант.
Еще протестировал возврат результата по ссылке в случае с оператором +.

C++
1
2
3
4
    complex<T> & operator + (complex<T> & c)
    {
        return complex<T>(re + c.re,im + c.im);
    }

Билдер в этом случае не компилирует, а VS компилирует, но выдает неправильный результат (т.к. созданный локально стековый объект удаляется)

В чем же причина? Различные стандарты с++?
Или дело в неопределенном поведении, как, например, в таком случае?

@Kastaneda · 21.12.2011, 19:31

C++
1
2
complex(const complex<T> & c){}
complex<T> & operator = (const complex<T> & c){}

конструктор копирования по стандарту принимает константный аргумент, поэтому билдер и g++ спотыкаются об это. Студия же выкручивается доступными средствами и, наверное, это не совсем по стадарту.
Как по стандарту выглядет operator=() я к сожалению не знаю (искать лень)), но с константым аргументом у меня компилируется.

Сообщение от Питекантроп

В чем же причина? Различные стандарты с++?
Или дело в неопределенном поведении, как, например, в таком случае?

Не думаю, что это UB, скорее особенности реализации. Давно известно, что компиляторы MS не шибко дружны со стандартом С/С++, но тем не менее они (MS) документируют подобные моменты, возможно об этом тоже написанно, да кто бы ее (документацию) читал

@Питекантроп · 22.12.2011, 00:52 **[ТС]**

таки да, const исправляет положение. И билдер и g++ компилируют.
Но в некоторых случаях компилируется и без const. Например, код

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
class X
{
public:
    int a;
    X() { a = 0; }
    X(X & x) { a = x.a; }
};
int main(int argc, char* argv[])
{
        X z;
        X z1(z);
                .......
}

компилируется без ошибок и предупреждений.

@DU · 22.12.2011, 00:57

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

C++
1
b = a + c + 10;

вот тут неявный каст из инта в complex<double> (т.е. создается временный объект) и он отдается оператору +, который почему-то с неконстантной ссылкой. потом еще раз зовется оператор + с предыдущей суммой, результат которой тоже во временном объекте. потом результат обеих сумм (который конечно же во временном объекте) передается в оператор =, который точно так же с неконстантной ссылкой.

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

@Питекантроп · 22.12.2011, 04:01 **[ТС]**

Сообщение от DU

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

Таки да. Если передавать невременные объекты, то все работает.

Сообщение от DU

вот тут неявный каст из инта в complex<double>

такой каст вряд ли бы произошел неявно =)). Тут каст из инт в дабл и вызов

C++
1
complex<double> operator + (double x) {}

Впрочем, это сути не меняет. Спасибо за ответ.

Новые блоги и статьи Все статьи Все блоги /
Functional First Web Framework Suave DevAlt 30.03.2026 Sauve. IO Апнулись до NET10. Из зависимостей один пакет, работает одинаково хорошо как в режиме проекта так и в интерактивном режиме. из сложностей - чисто функциональный подход. Решил. . .	Автоматическое создание документа при проведении другого документа Maks 29.03.2026 Реализация из решения ниже выполнена на нетиповых документах, разработанных в конфигурации КА2. Есть нетиповой документ "ЗаявкаНаРемонтСпецтехники" и нетиповой документ "ПланированиеСпецтехники". В. . .	Настройка движения справочника по регистру сведений Maks 29.03.2026 Решение ниже реализовано на примере нетипового справочника "ТарифыМобильнойСвязи" разработанного в конфигурации КА2, с целью учета корпоративной мобильной связи в коммерческом предприятии. . . .	Автозаполнение реквизита при выборе элемента справочника Maks 27.03.2026 Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. При выборе "Спецтехники" (Тип Справочник. Спецтехника), заполняется. . .
Сумматор с применением элементов трёх состояний. Hrethgir 26.03.2026 Тут. https:/ / fips. ru/ EGD/ ab3c85c8-836d-4866-871b-c2f0c5d77fbc Первый документ красиво выглядит, но без схемы. Это конечно не даёт никаких плюсов автору, но тем не менее. . . всё может быть. . .	Автозаполнение реквизитов при создании документа Maks 26.03.2026 Программный код из решения ниже размещается в модуле объекта документа, в процедуре "ПриСозданииНаСервере". Алгоритм проверки заполнения реализован для исключения перезаписи значения реквизита,. . .	Команды формы и диалоговое окно Maks 26.03.2026 1. Команда формы "ЗаполнитьЗапчасти". Программный код из решения ниже на примере нетипового документа "ЗаявкаНаРемонтСпецтехники" разработанного в конфигурации КА2. В качестве источника данных. . .	Кому нужен AOT? DevAlt 26.03.2026 Решил сделать простой ланчер Написал заготовку: dotnet new console --aot -o UrlHandler var items = args. Split(":"); var tag = items; var id = items; var executable = args;. . .