Форум программистов, компьютерный форум, киберфорум
С++ для начинающих
Войти
Регистрация
Восстановить пароль
Карта форума Темы раздела Блоги Сообщество Поиск Заказать работу  
 
 
Рейтинг 5.00/13: Рейтинг темы: голосов - 13, средняя оценка - 5.00
Котовчанин
942 / 482 / 200
Регистрация: 16.02.2010
Сообщений: 3,338
Записей в блоге: 37
1

No init for const!

23.07.2015, 10:21. Показов 2401. Ответов 21
Метки нет (Все метки)

Author24 — интернет-сервис помощи студентам
Доброе утро, котаны!
Вопрос - в джаве есть возможность сделать такую штуку
Java
1
2
final boolean someBool;
someBool  = true;
То есть объявить константу, а потом её инициализировать. Правда, только один раз. В плюсах такое не скомпилиться.
C++
1
2
3
4
5
6
7
int main()
{
    const int temp;
    std::cin >> temp;
 
    system("pause>>null");
}
Чистый интерес - возможно ли как-то это обойти? То есть, объявить константу не заинитив?
Не спрашивайте для чего это нужно. Наверное ни для чего. Просто интерес.)
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
23.07.2015, 10:21
Ответы с готовыми решениями:

Lambda init capture by const reference
Всем привет. Почему не получается добиться следующего поведения: auto main() -> int { ...

int const * const foo(const int* param) const - разъясните значение квалификаторов
int const * const foo(const int* param) const -----1------2----------3----------------4 1: ?...

Ошибка при загрузке Ubuntu 14.04 LTS: run-init: /sbin/init: Permission denied
Здравствуйте! На компьютере установлена Uuntu 14.04 LTS (64 bit). После установки cups (для...

char operator[](unsigned short offset) const; // что означает const?
Собстенно вопрос уже озвучен :).

21
18842 / 9841 / 2408
Регистрация: 30.01.2014
Сообщений: 17,284
23.07.2015, 13:28 21
Author24 — интернет-сервис помощи студентам
Цитата Сообщение от Тамика Посмотреть сообщение
То есть объявить константу, а потом её инициализировать. Правда, только один раз.
Можно проэмулировать. Правда частично уже в рантайме.

Вот тебе пример "на поиграться":
Кликните здесь для просмотра всего текста

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
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
#include <iostream>
#include <stdexcept>
#include <string>
 
static struct default_init_tag_ {} default_init_tag;
 
template <typename T>
struct const_var
{
    template <typename V>
    const_var(V const & x) 
        : wasInit_(false) 
    {
        init(x);
    }
    const_var(const_var const & x) 
        : wasInit_(false)
    {
        if(x.wasInit())
        {
            init(x);
        }
    }
    const_var(default_init_tag_) 
        : wasInit_(false)
    {
        init();
    }
    const_var() 
        : wasInit_(false)
    { }
    
    const_var const & operator=(const_var const & x) const
    {
        if(this != &x && x.wasInit())
        {
            init(x);
        }
        return *this;
    }
    template <typename V>
    const_var const & operator=(V const & x) const
    {
        init(x);
        return *this;
    }
    template <typename V>
    const_var const & operator=(const_var<V> const & x) const
    {
        if(this != &x && x.wasInit())
        {
            init(x);
        }
        return *this;
    }
    const_var const & operator=(default_init_tag_) const
    {
        init();
        return *this;
    }
    
    operator T const &() const
    {
        if(wasInit_)
        {
            return var_.value;
        }
        throw std::logic_error("attempt to get the value from an uninitialized object");
    }
    
    ~const_var()
    {
        if(wasInit_)
        {
            var_.value.~T();
        }
    }
 
    bool wasInit() const
    {
        return wasInit_;
    }
    
private:
    template <typename ...Args>
    void init(Args const & ...v) const
    {
        if(!wasInit_)
        {
            ::new(&var_.value) T(v...);
            wasInit_ = true;
        }
        else
        {
            throw std::logic_error("re-initialization for a final object");
        }
    }
    
    mutable union storage
    {
        char data[sizeof(T)];
        T    value;
        
        storage()  {}
        ~storage() {}
        
    } var_;
    mutable bool wasInit_;
};
 
template <typename T>
using final = const const_var<T>;
 
int main()
{
    {
        final<std::string> a; // no init
        
        //std::string b1 = a; // get noninit value, error
        
        a = "test1"; // init
        
        std::string b2 = a; 
        
        std::cout << b2 << '\n';
        
        //a = "test"; // re-init, error
    }
    
    {
        final<std::string> a = "test2"; // init
        
        //a = "test"; // re-init, error
        
        std::string b1 = a;
        
        std::cout << b1 << '\n';        
    }
    
    {
        final<std::string> a = default_init_tag; // init default
        
    }
    
    {
        final<std::string> a; // no init
        
        a = default_init_tag; // init default
    }
}

http://rextester.com/FAEY25254

PS. Написано исключительно для поддержания разговора. Претензии по реализации не принимаются, ввиду отладки в онлайн-редакторе и практически полной бесполезности на практике (в с++).
4
Эксперт С++
8739 / 4317 / 960
Регистрация: 15.11.2014
Сообщений: 9,760
23.07.2015, 13:56 22
Цитата Сообщение от DrOffset Посмотреть сообщение
PS. Написано исключительно для поддержания разговора. Претензии по реализации не принимаются, ввиду отладки в онлайн-редакторе и практически полной бесполезности на практике (в с++).
чоткий сказ!

Цитата Сообщение от Тамика Посмотреть сообщение
Вопрос - в джаве есть возможность сделать такую штуку
в плюсах такую штуку делать нельзя, и точка.

все эти мозговыверты - это лишь имитация.

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

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

честных способов обойти это - не существует.

а нечестные на самом деле лишь косят под константу,
но на деле "настоящими" константами не являются.

либо это уже за пределами UB.

тобишь, городить такой огород просто нет смысла.
0
23.07.2015, 13:56
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
23.07.2015, 13:56
Помогаю со студенческими работами здесь

Что это bool operator== (const CLASS&) const;
Что это? class CLASS { public: bool operator== (const CLASS&amp;) const; ...

Отрисовка линий движения материальной точки при u_1=const и u_2=const
Добрый день. У меня не получается построить графики движения материальной точки для u_1=const и...

Const в параметрах. Перед чем нужно употребить const дабы обезопасить данные от изменения
const int Counter(const TSNum *Start) { int c=0; while(Start!=NULL){Start=Start-&gt;next;} ...

Невозможно преобразовать параметр 1 из 'const char [3]' в 'const wchar_t *
void CprojectDlg::OnHScroll(UINT nSBCode, UINT nPos, CScrollBar* pScrollBar) { // TODO: добавьте...

Ошибка E2034: Cannot convert 'char const[8]' to 'const wchar_t *'
Прошу прощения за свой вопрос, но я никак не пойму где ошибка? использую c++ builder 10 (если это...

Ошибка: E2034 Cannot convert 'char const[51]' to 'const wchar_t *
Пытаюсь добавить в memo1 название файлов располагающихся в каталоге, в Console Application все...


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

Или воспользуйтесь поиском по форуму:
22
Ответ Создать тему
КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2024, CyberForum.ru