Класс не определяется в дочернем файле после включения, почему?

Question

[Nightmare A]

Есть два файла,

LicenseKey.h

#include "LicensesProduct.h"

namespace Machinarium {
	namespace Licenses_System {

		#warning "LICENSE_KEY Class creation"
		class LicenseKey : IValidationInterface {

...

LicensesProduct.h

#include "LicenseKey.hpp"
#include "IValidationInterface.h"

namespace Machinarium {
	namespace Licenses_System {

		class LicensesProduct : public IValidationInterface, Machinarium::BaseClasses::Nameable {

		private:
			Cryptographic::CryptographicKeyPair cryptographicKeyPair;
			LicenseKey activeLicense;
...

==== Building licenses (release) ====
LicenseKey.cpp
In file included from src/LicenseKey.cpp:1:
src/LicenseKey.hpp:11:4: warning: #warning "LICENSE_KEY Class creation" [-Wcpp]
   11 |   #warning "LICENSE_KEY Class creation"
      |    ^~~~~~~
In file included from src/LicenseKey.hpp:6,
                 from src/LicenseKey.cpp:1:
src/LicensesProduct.h:17:4: error: ‘LicenseKey’ does not name a type
   17 |    LicenseKey activeLicense;

По какой причине так? По сути класс LicenseKey определяется при включении в файле LicenseKey.h

Answer 1

[Денис Загаевский]

Во-первых, у тебя почему-то где-то расширение h, а где-то hpp. Нужно привести к одному виду.
Во-вторых у тебя циклический include, это не будет работать. Это надо решать. Например, можно решить с помощью forward declaration и pimpl.

Comments

[Nightmare A]

Эм, даже при наличии define lock-a? Ну т.е. по логике имеется ввиду такая конструкция, при включении "LicenseKey.h" срабатывает условие

#ifndef LICENSESPRODUCT_H
#define LICENSESPRODUCT_H

Эквивалент записи которой так же присутствует в LicensesProduct.h

[Nightmare A]

Т.е. при циклическом включении определяются два define-a и в принципе не должен произойти бесконечный цикл включения

[Nightmare A]

src/LicensesProduct.h:19:15: error: field ‘activeLicense’ has incomplete type ‘Machinarium::Licenses_System::LicenseKey’
   19 |    LicenseKey activeLicense;
      |               ^~~~~~~~~~~~~

Теперь такая ошибка.

[Денис Загаевский]

Nightmare1, у тебя декларация класса будет ниже, чем его использование. Нужно в любом случае сделать forward declaration, но тогда ты всё равно не сможешь использовать переменные, имеющие тип этого класса до того, как декларация будет завершена. Сможешь использовать только ссылки и указатели.

[Nightmare A]

Денис Загаевский, Хм, а в чём такие сложности?

[Денис Загаевский]

Nightmare1, я не понял твоего вопроса) но в целом сложности в С++, который заставляет тебя декларировать тип до использования. И собственно твоя ошибка выше про incomplete type - это оно и есть. Насколько я понимаю, невозможно не зная полностью типа узнать размер его объекта, и поэтому нельзя использовать такие переменные, но можно - указатели и ссылки (потому что их размер определён).

[Nightmare A]

Денис Загаевский, Что делать если нужно использовать не указатель или ссылку на объект, а сам объект при сложившейся ситуации? Прототипировать forward declaration дважды?

[Денис Загаевский]

Nightmare1, я не уверен, что это вообще возможно. Хотя, по идее, можно вынести определение этого класса в третий файл, и подключить его в двух местах.

[Nightmare A]

Денис Загаевский, Хм... В принципе должно сработать, но все равно не понятно почему при разделении заголовочников от файлов реализации все равно не получается создать объект со взаимным включением.

[Денис Загаевский]

Nightmare1, потому что файл читается сверху вниз, и полное объявление должно быть до использования.