Polyspace: expression must have a constant value

조회 수: 7 (최근 30일)
Zulham Mr
Zulham Mr 2022년 4월 28일
댓글: Zulham Mr 2022년 5월 3일
Hello guys,
I have this C++17 code:
#define I2C_BUS_MAX_BUS_ITEMS 3
struct my_bus_t {
int bus{-1};
bool is_external;
};
static inline constexpr my_bus_t initBus(int bus)
{
my_bus_t ret{};
ret.bus = bus;
ret.is_external = false;
return ret;
}
constexpr my_bus_t buses[I2C_BUS_MAX_BUS_ITEMS] = {
initBus(1),
initBus(2),
};
This is the configuration setting.
It compiles well, but there is a problem in Polyspace: "expression must have a constant value".
Thank you in advance.
  댓글 수: 2
Walter Roberson
Walter Roberson 2022년 4월 28일
Which expression is it flagging?
Zulham Mr
Zulham Mr 2022년 4월 28일
constexpr my_bus_t buses[I2C_BUS_MAX_BUS_ITEMS] = {
initBus(1),
initBus(2),
};
This one.

댓글을 달려면 로그인하십시오.

채택된 답변

Anirban
Anirban 2022년 4월 29일
편집: Anirban 2022년 4월 29일
You are initializing a three-element constexpr array with only two elements. If you change the line:
constexpr my_bus_t buses[I2C_BUS_MAX_BUS_ITEMS] = {
initBus(1),
initBus(2),
};
To something like:
constexpr my_bus_t buses[I2C_BUS_MAX_BUS_ITEMS] = {
initBus(1),
initBus(2),
initBus(2)
};
The error will go away. I am not sure why your compiler did not flag this.
  댓글 수: 3
Anirban
Anirban 2022년 5월 2일
The C++ reference for constexpr states that constexpr variables must be immediately initialized.
In this case, you have partially initialized the array. This is not an error by itself, and my guess is, that is why the compiler does not complain. If you try to initialize the uninitialized elements later, the compiler should show an error.
Indeed, Polyspace is being stricter than your compiler. But, as you can see, partially initializing a constexpr array is an error because it cannot be initialized fully later.
Zulham Mr
Zulham Mr 2022년 5월 3일
Thank you for your explanation.

댓글을 달려면 로그인하십시오.

추가 답변 (0개)

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by