[РЕШЕНО] Константное выражение в качестве члена класса.

[__Heaven__]

Привет, друзья!
Прошу помочь разобраться, почему не работают методы класса, помеченные как constexpr в коде ниже.
Я ожидаю, что вместо вызова метода во время компиляции будет подставлено константное значение.

Код

C++ (Qt)
#include <QSize>
struct MyStruct
{
    int width() const;
    static constexpr QSize size{20, 20};
};
 
 
int MyStruct::width() const
{
    return size.width();
}
 
int main()
{
    MyStruct().width();
    return 0;
}
 

undefined reference to `MyStruct::size'

[Пантер]

static зачем?

[__Heaven__]

Нельзя константное выражение делать членом класса без использования static.

[panAlexey]

Код:

int MyStruct::width() const
{
    return MyStruct::size.width();
}

не?

[__Heaven__]

Код:

int MyStruct::width() const
{
    return MyStruct::size.width();
}

не?

не.

Кажется проблема в QSize, но это не точно. Следующий код работает.

Код

C++ (Qt)
class Size {
	double w,h;
public:
	constexpr Size(double w, double h)
		: w(w), h(h){}
 
	constexpr double width() const{
		return w;
	}
 
	constexpr double height() const{
		return h;
	}
};
 
struct MyStruct
{
    int width() const;
    static constexpr Size size{20, 20};
};
 
 
int MyStruct::width() const
{
    return size.width();
}
 
int main(void) {
	MyStruct().width();
	return 0;
}

[__Heaven__]

Немного ошибся насчёт полной работоспособности предыдущего поста.

Попробовал 4 компилятора (clang, gcc, mingw32, mingw64)
Почему-то в gcc подобных код из поста #1 компилится только в release версии. Clang не компилит вообще.

[ViTech]

Может как-то так надо:

Код

C++ (Qt)
struct MyStruct
{
    int width() const;
    constexpr Size size() const
    { return Size(20, 20); }
};

[__Heaven__]

Может как-то так надо:

Код

C++ (Qt)
struct MyStruct
{
    int width() const;
    constexpr Size size() const
    { return Size(20, 20); }
};

Грязный хак но работает)))
Но какого лешего не работает исходное решение??

Кстати, компилер странный код генерирует в отсутствие ключей оптимизации. Он будто игнорирует constexpr. См. аттач.

[ViTech]

Чего это хак, да ещё и грязный ? Чем MyStruct::size() отличается от Size::width()? Такая же constexpr функция. И если оптимизация не задана пользователем, зачем компилятор будет оптимизировать? Попробуйте следующий код. Без оптимизации и с "-O3", например.

Код

C++ (Qt)
class Size {
	double w,h;
public:
	constexpr Size(double w, double h)
	    : w(w), h(h){}
 
	constexpr double width() const{
		return w;
	}
 
	constexpr double height() const{
		return h;
	}
};
 
struct MyStruct
{
    int width() const;
 
    constexpr Size size() const
    { return Size(20, 20); }
};
 
int MyStruct::width() const
{
	return size().width();
}
 
int main(void) {
	return MyStruct().width();
}
 

[__Heaven__]

Чего это хак, да ещё и грязный ?

Да я шучу Просто я хотел член класса, а вы вжух и метод предложили.

Ну, с -O3 он хорошо жмётся, что весьма предсказуемо.

Код

ASM
MyStruct::width() const:
        mov     eax, 20
        ret
main:
        mov     eax, 20
        ret
 

Кстати, мой код перестаёт компилиться при включении оптимизирующих опций. Видать constexpr это не обязательство, а объявление возможности (как и с inline).

[__Heaven__]

Я забыл упомянуть, что за пределами класса константа себя весьма хорошо чувствует - всё штатно.

[ViTech]

Там, заодно по идее, и MyStruct::width() тоже должно быть constexpr, тогда сожмётся ещё лучше .

Код

C++ (Qt)
struct MyStruct
{
    constexpr double width() const
    { return size().width(); }
 
    constexpr Size size() const
    { return Size(20, 20); }
};
 

[__Heaven__]

Дык а некуда дальше))) И так уже просто 20 заносится в регистр и выходит)
Специально не стал делать этот метод constexpr, дабы приблизить пример к тому, что у меня в проекте используется.

[__Heaven__]

А зацените это вот Получил в результате издёвок над компилером

Код

C++ (Qt)
class Size {
    double w,h;
public:
    constexpr Size(double w, double h) noexcept
        : w(w), h(h){}
 
    constexpr double width() const noexcept{
        return w;
    }
 
    constexpr double height() const noexcept{
        return h;
    }
};
 
struct MyStruct
{
    constexpr int width() const noexcept;
    static const Size size;
};
constexpr Size MyStruct::size{20, 20};
 
 
constexpr int MyStruct::width() const noexcept
{
    return size.width();
}
 
int main() {
    constexpr int w = MyStruct().width();
    return 0;
}
 

В объявлении MyStruct нет опечатки это всё компилится

[ViTech]

Да, чем дальше в С++, тем больше дров  . Осталось только не запутаться во всех этих способах инициализации, конструкторах и им подобного ).