реклама на сайте
подробности

 
 
3 страниц V  < 1 2 3 >  
Reply to this topicStart new topic
> WinAVR и адрес статической функции, странная ошибка
Сергей Борщ
сообщение Jun 10 2011, 08:59
Сообщение #16


Гуру
******

Группа: Модераторы
Сообщений: 8 455
Регистрация: 15-05-06
Из: Рига, Латвия
Пользователь №: 17 095



QUOTE (Maddy @ Jun 10 2011, 10:38) *
Хм ... а можно дурацкий вопрос ? откуда компилятор возмет адрес функции что-бы вычислить значение adr(x) ??
А откуда он его берет, чтобы сделать вызов func()? Естественно, он вставляет какую-то ссылку, которую затем связывает линкер. Как это реализовано в потрохах - его личное дело.


--------------------
На любой вопрос даю любой ответ
"Write code that is guaranteed to work, not code that doesn’t seem to break" (C++ FAQ)
Go to the top of the page
 
+Quote Post
Maddy
сообщение Jun 10 2011, 10:55
Сообщение #17


Участник
*

Группа: Validating
Сообщений: 56
Регистрация: 15-10-06
Пользователь №: 21 335



ну таки я об этом и говорю - тут на этапе формирования массива автор пытается пользовать данные ,которых еще нет . Если просто класть указатель на функцию - да , ld автоматом подсунет нужный адрес , но автор-то хочет вычеслений ... И как быть бедному gcc ?

Go to the top of the page
 
+Quote Post
Сергей Борщ
сообщение Jun 10 2011, 12:22
Сообщение #18


Гуру
******

Группа: Модераторы
Сообщений: 8 455
Регистрация: 15-05-06
Из: Рига, Латвия
Пользователь №: 17 095



QUOTE (Maddy @ Jun 10 2011, 13:55) *
И как быть бедному gcc ?
Так же, как и в случае с указателем на функцию. Почему у gcc для других платформ с этим проблем не возникает?


--------------------
На любой вопрос даю любой ответ
"Write code that is guaranteed to work, not code that doesn’t seem to break" (C++ FAQ)
Go to the top of the page
 
+Quote Post
Maddy
сообщение Jun 10 2011, 13:21
Сообщение #19


Участник
*

Группа: Validating
Сообщений: 56
Регистрация: 15-10-06
Пользователь №: 21 335



Хм ...
Код
long handleTimersISR(void);

static U8 data[]={0,0,((U32)handleTimersISR >>24)& 0xff,((U32)handleTimersISR >>16)& 0xff,((U32)handleTimersISR >>8)& 0xff,((U32)handleTimersISR )& 0xff };


Цитата
..\072-cxxV2\fwcommon\boards\072-Cxx\bsp_hw_timersInit.c:17: error: initializer element is not constant
..\072-cxxV2\fwcommon\boards\072-Cxx\bsp_hw_timersInit.c:17: error: (near initialization for 'data[2]')
..\072-cxxV2\fwcommon\boards\072-Cxx\bsp_hw_timersInit.c:17: error: initializer element is not constant
..\072-cxxV2\fwcommon\boards\072-Cxx\bsp_hw_timersInit.c:17: error: (near initialization for 'data[3]')
..\072-cxxV2\fwcommon\boards\072-Cxx\bsp_hw_timersInit.c:17: error: initializer element is not constant
..\072-cxxV2\fwcommon\boards\072-Cxx\bsp_hw_timersInit.c:17: error: (near initialization for 'data[4]')
..\072-cxxV2\fwcommon\boards\072-Cxx\bsp_hw_timersInit.c:17: error: initializer element is not constant
..\072-cxxV2\fwcommon\boards\072-Cxx\bsp_hw_timersInit.c:17: error: (near initialization for 'data[5]')


И я ему верю wink.gif Ибо все-таки адрес функции хоть и константа , но на этом этапе не определена wink.gif
Цитата
avr32-gcc.EXE (AVR_Toolchain_3.0_124) 4.3.3


или опять приколы Атмеловцев ?

НЕ winAVR но gcc ж)

Сообщение отредактировал Maddy - Jun 10 2011, 13:22
Go to the top of the page
 
+Quote Post
AHTOXA
сообщение Jun 10 2011, 13:47
Сообщение #20


фанат дивана
******

Группа: Свой
Сообщений: 3 387
Регистрация: 9-08-07
Из: Уфа
Пользователь №: 29 684



Цитата(Сергей Борщ @ Jun 10 2011, 18:22) *
Почему у gcc для других платформ с этим проблем не возникает?

У gcc с указателями иногда очень странные отношения.
Вот пример:
Код
struct rec1 {
    int field1;
    int field2;
};

#define prec1 ((rec1 *) 0x10000)

static const int field2addr = (uint32_t)&prec1->field2;    // строка 1

class testcase2
{
    static const int field2addr = (uint32_t)&prec1->field2;   // строка 2
};


Строку 1 - проглатывает, а строку 2 - нет:
Цитата
tests.cpp:64:43: error: a cast to a type other than an integral or enumeration type cannot appear in a constant-expression
tests.cpp:64:50: error: '->' cannot appear in a constant-expression
tests.cpp:64:50: error: '&' cannot appear in a constant-expression

Почему так - не понимаю...


--------------------
Если бы я знал, что такое электричество...
Go to the top of the page
 
+Quote Post
Maddy
сообщение Jun 10 2011, 14:06
Сообщение #21


Участник
*

Группа: Validating
Сообщений: 56
Регистрация: 15-10-06
Пользователь №: 21 335



мдя послали wink.gif А кстати - вариант с offsetof не подходит для данного извращения ?
Go to the top of the page
 
+Quote Post
AHTOXA
сообщение Jun 10 2011, 15:04
Сообщение #22


фанат дивана
******

Группа: Свой
Сообщений: 3 387
Регистрация: 9-08-07
Из: Уфа
Пользователь №: 29 684



Через него и выкрутился:
Код
    static const int field2addr = 0x10000 + offsetof(rec1, field2);

Но это несколько коряво, ибо пришлось вытаскивать константу 0x10000 (в реале это адрес регистровой структуры).


--------------------
Если бы я знал, что такое электричество...
Go to the top of the page
 
+Quote Post
alx2
сообщение Jun 14 2011, 05:08
Сообщение #23


Местный
***

Группа: Участник
Сообщений: 340
Регистрация: 25-10-05
Из: Пермь, Россия
Пользователь №: 10 091



Цитата(AHTOXA @ Jun 10 2011, 18:47) *
У gcc с указателями иногда очень странные отношения.

Строку 1 - проглатывает, а строку 2 - нет:
Почему так - не понимаю...

Потому что (статические) члены классов не инициализируют таким образом, как у Вас в строке 2. Вот такой вариант:
Код
class testcase2
{
   static const int field2addr;
};
const int testcase2::field2addr = (uint32_t)&prec1->field2;
gcc компилирует без замечаний.


--------------------
Всего наилучшего,
Alex Mogilnikov
Go to the top of the page
 
+Quote Post
AHTOXA
сообщение Jun 14 2011, 06:05
Сообщение #24


фанат дивана
******

Группа: Свой
Сообщений: 3 387
Регистрация: 9-08-07
Из: Уфа
Пользователь №: 29 684



Статические int-ы легко инициализируются таким образом:
Код
class testcase2
{
    static const int test_static_const_int = 0x12345;
};

Кроме того, в enum-ах инициализация указателем тоже не проходит, на
Код
class testcase2
{
    enum { field2addr = (uint32_t)&prec1->field2 };
};

-- ругается точно так же. Так что дело не в статике. Но за способ обхода - спасибоsm.gif


--------------------
Если бы я знал, что такое электричество...
Go to the top of the page
 
+Quote Post
alx2
сообщение Jun 14 2011, 11:17
Сообщение #25


Местный
***

Группа: Участник
Сообщений: 340
Регистрация: 25-10-05
Из: Пермь, Россия
Пользователь №: 10 091



Цитата(AHTOXA @ Jun 14 2011, 11:05) *
Статические int-ы легко инициализируются таким образом:
Код
class testcase2
{
    static const int test_static_const_int = 0x12345;
};

Нашел соответствующее место в спецификации языка, вроде бы все правильно. Такая форма требует constant expression в правой части, а constant expression, в свою очередь, может содержать только литералы, перечисления, const переменные интегральных типов и sizeof(). Указатели под перечисленное не подпадают.

И еще в constant expression допускаются приведения только к интегральным типам или перечислениям, поэтому компилятор совершенно справедливо ругается на (rec1 *)0x10000.

Сообщение отредактировал alx2 - Jun 14 2011, 11:20


--------------------
Всего наилучшего,
Alex Mogilnikov
Go to the top of the page
 
+Quote Post
AHTOXA
сообщение Jun 14 2011, 12:42
Сообщение #26


фанат дивана
******

Группа: Свой
Сообщений: 3 387
Регистрация: 9-08-07
Из: Уфа
Пользователь №: 29 684



Цитата(alx2 @ Jun 14 2011, 17:17) *
Нашел соответствующее место в спецификации языка
Языка - C++? А когда мы объявляем вне класса, то срабатывает совместимость с Си, а там это можно? Если так, то немного проясняется, спасибо.


--------------------
Если бы я знал, что такое электричество...
Go to the top of the page
 
+Quote Post
alx2
сообщение Jun 15 2011, 04:59
Сообщение #27


Местный
***

Группа: Участник
Сообщений: 340
Регистрация: 25-10-05
Из: Пермь, Россия
Пользователь №: 10 091



Цитата(AHTOXA @ Jun 14 2011, 17:42) *
Языка - C++?
Да, конечно.
Цитата(AHTOXA @ Jun 14 2011, 17:42) *
А когда мы объявляем вне класса, то срабатывает совместимость с Си, а там это можно?
Ничего не "срабатывает". Просто то, что у Вас в строке 1 и в строке 2 - это две разные семантические конструкции, и они подчиняются разным правилам языка C++. В строке 1 инициализатор не обязан быть integral constant expression, в строке 2 - обязан.

Сообщение отредактировал alx2 - Jun 15 2011, 05:09


--------------------
Всего наилучшего,
Alex Mogilnikov
Go to the top of the page
 
+Quote Post
AHTOXA
сообщение Jun 15 2011, 05:11
Сообщение #28


фанат дивана
******

Группа: Свой
Сообщений: 3 387
Регистрация: 9-08-07
Из: Уфа
Пользователь №: 29 684



Цитата(alx2 @ Jun 15 2011, 10:59) *
в строке 1 и в строке 2 - это две разные семантические конструкции

А в чём разница? Можно какую-нибудь цитату из стандарта?


--------------------
Если бы я знал, что такое электричество...
Go to the top of the page
 
+Quote Post
alx2
сообщение Jun 15 2011, 09:14
Сообщение #29


Местный
***

Группа: Участник
Сообщений: 340
Регистрация: 25-10-05
Из: Пермь, Россия
Пользователь №: 10 091



Цитата(AHTOXA @ Jun 15 2011, 10:11) *
Можно какую-нибудь цитату из стандарта?

Конечно. Подпункт 4 пункта 9.4.2 по версии ISO:
Цитата
If a static data member is of const integral or const enumeration type, its declaration in the class
definition can specify a constant-initializer which shall be an integral constant expression (5.19).

А это из подпункта 1 пункта 5.19:
Цитата
An integral constant-expression can involve only literals (2.13), enumerators, const variables or static
data members of integral or enumeration types initialized with constant expressions (8.5), non-type
template parameters of integral or enumeration types, and sizeof expressions. ... Only type conversions
to integral or enumeration types can be used. In particular, except in sizeof expressions, functions, class objects,
pointers, or references shall not be used,...


--------------------
Всего наилучшего,
Alex Mogilnikov
Go to the top of the page
 
+Quote Post
AHTOXA
сообщение Jun 15 2011, 09:47
Сообщение #30


фанат дивана
******

Группа: Свой
Сообщений: 3 387
Регистрация: 9-08-07
Из: Уфа
Пользователь №: 29 684



Цитата(alx2 @ Jun 15 2011, 15:14) *
Конечно. Подпункт 4 пункта 9.4.2 по версии ISO:

На мой взгляд, эта цитата не о том, что это две разные семантические конструкции. А только лишь о том, что на инициализацию статической константной переменной-члена внутри объявления класса накладываются некоторые дополнительные ограничения.
В любом случае, спасибо за цитату, теперь понятно в чём дело.


--------------------
Если бы я знал, что такое электричество...
Go to the top of the page
 
+Quote Post

3 страниц V  < 1 2 3 >
Reply to this topicStart new topic
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0

 


RSS Текстовая версия Сейчас: 26th July 2025 - 05:47
Рейтинг@Mail.ru


Страница сгенерированна за 0.01484 секунд с 7
ELECTRONIX ©2004-2016