Форум программистов, компьютерный форум CyberForum.ru

Компилятор QT работает неадекватно ?! - C++

Восстановить пароль Регистрация
 
Corvit
0 / 0 / 0
Регистрация: 14.10.2013
Сообщений: 13
30.10.2013, 13:03     Компилятор QT работает неадекватно ?! #1
Доброго времени суток!
Задача простая. Есть класс String предназначенный для хранения строк. Недостаток этого класса в том, что он не контролирует выход за пределы поля str. Для искоренения этого недостатка создан класс Pstring. Должна выполняться проверка размера вводимой строки, перед записью этой строки в поле str. Но в строке 36 компилятор переходит к выполнению конструктора без параметров класса предшественника ( стр. 15), вместо того чтобы вызвать конструктор с одним параметром ( стр. 18). Хотелось бы понять причину
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
50
51
52
53
54
55
56
57
58
59
60
61
#include <iostream>
using namespace std;
#include <string.h>          
#include <string>
///////////////////////////////////////////////////////////
class String
{
  protected:
    enum { SZ = 80 };        // размер массива
    char str [ SZ ];         // массив для хранения строки
  public:
    // конструктор без параметров
    String ( )
      { str [ 0 ] = '\x0'; }
    // конструктор с одним параметром
    String ( char s [ ] )
      { strcpy ( str, s ); } // сохранение строки в массив
    // показ строки
    void display ( ) const
      { cout << str; }
    // преобразование к стандартному типу
    operator char* ( )
      { return str; }
};
 
// дополнен контролем выхода за пределы массива str
class Pstring: public String
{
public:
    Pstring(): String() {}
    Pstring(char s [ ] ) : String (s)
    {
        if (  strlen( s ) < SZ - 1)
// в этой строке компилятор переходит к вызову конструктора без параметров ???
            String ( s );
        else
        {
            s [ SZ - 1 ] = '\0';
            strcpy ( str ,  s );
        }
    }
};
 
///////////////////////////////////////////////////////////
int main ( )
{
  Pstring s1;                 
 
  char xstr [ ] = "Some string "; 
 
  s1 = xstr;                
 
  s1.display ( );           
 
  Pstring s2 = "Another shtring!"; 
 
  cout << static_cast<char*>( s2 ); 
  cout << endl;
 
  return 0;
}
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
ForEveR
Модератор
Эксперт C++
 Аватар для ForEveR
7927 / 4709 / 318
Регистрация: 24.06.2010
Сообщений: 10,524
Завершенные тесты: 3
30.10.2013, 13:06     Компилятор QT работает неадекватно ?! #2
Corvit, Потому что так нельзя по стандарту.
Что делает строчка String(s)? Вызывает конструктор класса String с параметром s, однако объект уже создан в списке инициализации, следовательно для него не будет вызван конструктор.
castaway
Эксперт С++
4837 / 2976 / 367
Регистрация: 10.11.2010
Сообщений: 11,008
Записей в блоге: 10
Завершенные тесты: 1
30.10.2013, 13:07     Компилятор QT работает неадекватно ?! #3
Вообще то в этой строке (32-й):
C++
1
Pstring(char s [ ] ) : String (s)
Corvit
0 / 0 / 0
Регистрация: 14.10.2013
Сообщений: 13
30.10.2013, 13:52  [ТС]     Компилятор QT работает неадекватно ?! #4
castaway
Вообще то в этой строке (32-й):
C++
1
Pstring(char s [ ] ) : String (s)
Опечатался - на самом деле так:
C++
1
Pstring(char s [ ] )
ForEveR
Что делает строчка String(s)? Вызывает конструктор класса String с параметром s, однако объект уже создан в списке инициализации, следовательно для него не будет вызван конструктор.
Ну тогда по идее должен выдать ошибку, а он вместо этого вызывает конструктор без параметров: 52->33->34->36->15->43. Почему он вообще заходит в конструктор без параметров, хотя согласно сигнатуре должен вызвать конструктор с одним параметром
castaway
Эксперт С++
4837 / 2976 / 367
Регистрация: 10.11.2010
Сообщений: 11,008
Записей в блоге: 10
Завершенные тесты: 1
30.10.2013, 13:59     Компилятор QT работает неадекватно ?! #5
Цитата Сообщение от Corvit Посмотреть сообщение
Опечатался
Что значит "опечатался"? Покажи код, на котором можно строить предположения.
Corvit
0 / 0 / 0
Регистрация: 14.10.2013
Сообщений: 13
30.10.2013, 14:04  [ТС]     Компилятор QT работает неадекватно ?! #6
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
50
51
52
53
54
55
56
57
58
59
60
61
#include <iostream>
using namespace std;
#include <string.h>          
#include <string>
///////////////////////////////////////////////////////////
class String
{
  protected:
    enum { SZ = 80 };        // размер массива
    char str [ SZ ];         // массив для хранения строки
  public:
    // конструктор без параметров
    String ( )
      { str [ 0 ] = '\x0'; }
    // конструктор с одним параметром
    String ( char s [ ] )
      { strcpy ( str, s ); } // сохранение строки в массив
    // показ строки
    void display ( ) const
      { cout << str; }
    // преобразование к стандартному типу
    operator char* ( )
      { return str; }
};
 
// дополнен контролем выхода за пределы массива str
class Pstring: public String
{
public:
    Pstring(): String() {}
    Pstring(char s [ ] )
    {
        if (  strlen( s ) < SZ - 1)
// в этой строке компилятор переходит к вызову конструктора без параметров ???
            String ( s );
        else
        {
            s [ SZ - 1 ] = '\0';
            strcpy ( str ,  s );
        }
    }
};
 
///////////////////////////////////////////////////////////
int main ( )
{
  Pstring s1;                 
 
  char xstr [ ] = "Some string "; 
 
  s1 = xstr;                
 
  s1.display ( );           
 
  Pstring s2 = "Another shtring!"; 
 
  cout << static_cast<char*>( s2 ); 
  cout << endl;
 
  return 0;
}
ForEveR
Модератор
Эксперт C++
 Аватар для ForEveR
7927 / 4709 / 318
Регистрация: 24.06.2010
Сообщений: 10,524
Завершенные тесты: 3
30.10.2013, 14:07     Компилятор QT работает неадекватно ?! #7
Corvit, Если код такой:
C++
1
Pstring(char s [ ] )
то тут очевидно будет вызван конструктор без параметров базового класса. Вызова конструктора, находящегося в функции естественно не будет.
Corvit
0 / 0 / 0
Регистрация: 14.10.2013
Сообщений: 13
30.10.2013, 14:09  [ТС]     Компилятор QT работает неадекватно ?! #8
то тут очевидно будет вызван конструктор без параметров базового класса.
Так и есть, но в строке
C++
1
String ( s );
опять вызывается конструктор без параметров базового класса
ForEveR
Модератор
Эксперт C++
 Аватар для ForEveR
7927 / 4709 / 318
Регистрация: 24.06.2010
Сообщений: 10,524
Завершенные тесты: 3
30.10.2013, 14:31     Компилятор QT работает неадекватно ?! #9
Про то что вызова конструктор в функции не будет - это я конечно погорячился. Вызов будет, но он создаст временный объект, который тут же уничтожится. Почему вызывается конструктор без параметров пробую понять.
Насколько я понимаю, компилятор оптимизирует и имеет на это полное право, потому как результат вызова данного конструктора никак не используется. Оптимизация глушится либо
C++
1
String tmp(s);
либо
C++
1
(void)String(s);
Corvit
0 / 0 / 0
Регистрация: 14.10.2013
Сообщений: 13
30.10.2013, 14:49  [ТС]     Компилятор QT работает неадекватно ?! #10
Спасибо за разъяснение
castaway
Эксперт С++
4837 / 2976 / 367
Регистрация: 10.11.2010
Сообщений: 11,008
Записей в блоге: 10
Завершенные тесты: 1
30.10.2013, 14:51     Компилятор QT работает неадекватно ?! #11
Цитата Сообщение от Corvit Посмотреть сообщение
Так и есть, но в строке
Откуда знаешь что вызов происходит именно в этой строке?
Самый первый конструктор без параметров происходит в этой (48-й строке последнего кода) строке: Pstring s1;
Corvit
0 / 0 / 0
Регистрация: 14.10.2013
Сообщений: 13
01.11.2013, 09:57  [ТС]     Компилятор QT работает неадекватно ?! #12
Переписал немного код
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
50
51
52
53
54
55
56
57
#include <iostream>
using namespace std;
#include <string.h>
#include <string>
///////////////////////////////////////////////////////////
class String
{
  protected:
    enum { SZ = 80 };        // размер массива
    char str [ SZ ];         // массив для хранения строки
  public:
    // конструктор без параметров
    String ( )
      { str [ 0 ] = '\x0'; }
    // конструктор с одним параметром
    String ( char s [ ] )
      { strcpy ( str, s ); } // сохранение строки в массив
    // показ строки
    void display ( ) const
      { cout << str; }
    // преобразование к стандартному типу
    operator char* ( )
      { return str; }
};
 
// дополнен контролем выхода за пределы массива str
class Pstring: public String
{
public:
    Pstring(char s [ ] )
    {
        if (  strlen( s ) > SZ - 1)
        {
            for ( int j = 0; j < SZ - 1; j++)
                str [ j ] = s [ j ];
            str [ SZ - 1] = '\0';
        }
        else
        {
            String(s);
        }
    }
};
 
///////////////////////////////////////////////////////////
int main ( )
{
  Pstring s1 = " Some very very big string, which is maybe, or likely for sure"
          " Will exceed size of SZ";
 
  cout <<"\ns1 = "; s1.display();
 
  Pstring s2 = " just a little string";
  cout <<"\ns2 = "; s2.display();
 
  return 0;
}
Инициализация первой переменной происходит без неожиданностей, а вот с определением второй переменной происходит какая-то ахинея.
castaway
Откуда знаешь что вызов происходит именно в этой строке?
Ставлю точки останова на 53-ую строку. Отладчик выполняет программу в следующем порядке: 53->31->14->32->40->14->42.
ForEveR
Насколько я понимаю, компилятор оптимизирует и имеет на это полное право, потому как результат вызова данного конструктора никак не используется. Оптимизация глушится
Почему в таком случае он вообще выполняет по второму кругу конструктор без параметров родительского класса??
Получается, что единственный способ использовать конструктор:
C++
1
Pstring(char s [ ] ) : String ( s )
И если нужно внести малейшие изменения то полностью переписывать конструктор класса наследника, вообще не обращаясь ни к каким конструкторам класса родителя?

Добавлено через 18 часов 10 минут
Люди
ValeryS
Модератор
6373 / 4839 / 440
Регистрация: 14.02.2011
Сообщений: 16,038
01.11.2013, 10:10     Компилятор QT работает неадекватно ?! #13
Цитата Сообщение от Corvit Посмотреть сообщение
C++
1
2
3
4
5
6
if ( strlen( s ) > SZ - 1)
 {
  for ( int j = 0; j < SZ - 1; j++)
     str [ j ] = s [ j ];
  str [ SZ - 1] = '\0';
 }
долго, вот побыстрее
C++
1
2
3
4
5
if ( strlen( s ) > SZ - 1)
 {
  memcpy(str,s,SZ);
  str [ SZ - 1] = '\0';
 }
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
01.11.2013, 10:12     Компилятор QT работает неадекватно ?!
Еще ссылки по теме:

Как работает компилятор при создании объекта C++
C++ Как работает компилятор С++
Не понятно почему не работает компилятор DevC++ C++

Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
Corvit
0 / 0 / 0
Регистрация: 14.10.2013
Сообщений: 13
01.11.2013, 10:12  [ТС]     Компилятор QT работает неадекватно ?! #14
долго, вот побыстрее
Вопрос концептуальный, а не оптимизационный
Yandex
Объявления
01.11.2013, 10:12     Компилятор QT работает неадекватно ?!
Ответ Создать тему
Опции темы

Текущее время: 03:30. Часовой пояс GMT +3.
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2016, vBulletin Solutions, Inc.
Рейтинг@Mail.ru