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

No init for const! - C++

Восстановить пароль Регистрация
 
 
Тамика
Котовчанин
 Аватар для Тамика
859 / 439 / 129
Регистрация: 16.02.2010
Сообщений: 2,538
Записей в блоге: 27
23.07.2015, 10:21     No init for const! #1
Доброе утро, котаны!
Вопрос - в джаве есть возможность сделать такую штуку
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");
}
Чистый интерес - возможно ли как-то это обойти? То есть, объявить константу не заинитив?
Не спрашивайте для чего это нужно. Наверное ни для чего. Просто интерес.)
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
DrOffset
6424 / 3798 / 879
Регистрация: 30.01.2014
Сообщений: 6,591
23.07.2015, 13:28     No init for const! #21
Цитата Сообщение от Тамика Посмотреть сообщение
То есть объявить константу, а потом её инициализировать. Правда, только один раз.
Можно проэмулировать. Правда частично уже в рантайме.

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

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. Написано исключительно для поддержания разговора. Претензии по реализации не принимаются, ввиду отладки в онлайн-редакторе и практически полной бесполезности на практике (в с++).
После регистрации реклама в сообщениях будет скрыта и будут доступны все возможности форума.
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
23.07.2015, 13:56     No init for const!
Еще ссылки по теме:

C++ error: invalid operands of types 'const int*' and 'const int*' to binary 'operator+'
C++ int const * const foo(const int* param) const - разъясните значение квалификаторов
C++ Const в параметрах. Перед чем нужно употребить const дабы обезопасить данные от изменения

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

Или воспользуйтесь поиском по форуму:
hoggy
5225 / 2116 / 403
Регистрация: 15.11.2014
Сообщений: 4,800
Завершенные тесты: 1
23.07.2015, 13:56     No init for const! #22
Цитата Сообщение от DrOffset Посмотреть сообщение
PS. Написано исключительно для поддержания разговора. Претензии по реализации не принимаются, ввиду отладки в онлайн-редакторе и практически полной бесполезности на практике (в с++).
чоткий сказ!

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

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

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

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

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

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

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

тобишь, городить такой огород просто нет смысла.
Yandex
Объявления
23.07.2015, 13:56     No init for const!
Ответ Создать тему
Опции темы

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