0

Компилятор VS2017.

Есть такой код, который работает:

#include "pch.h"
#include <iostream>

using namespace std;

template <class T> class a {

    int aint;
    T* tptr;

public:

    a(T* ptr1) :tptr(ptr1) {}

};

class b:public a<b> {

    int bint;

public:

    b() :a(this) {}
    void print() { cout <<endl<<"run class b"; }

};



int main()
{
    cout << endl<<"Hello World!";

    b bb;
    bb.print();
}

Теперь хочу сделать так, чтобы передавать указатель this от класса "b" не через конструктор класса "a", а через параметр шаблона. Пишу что-то вроде:

#include "pch.h"
#include <iostream>

using namespace std;

class b;

template <class T* ttptr> class a {

    int aint;
    T* tptr;

public:

    a() :tptr(ttptr){}

};

class b :public a <this> {

    int bint;

public:

    b() {}
    void print() { cout <<endl<<"run class b"; }

};

int main()
{
    cout << endl<<"Hello World!";

    b bb;
    bb.print();
}

Но компилятор ругается на строку:

class b :public a <this>

Вопросы:

  1. Можно ли передать указатель this через параметр шаблона?
  2. Если можно, то как это сделать?
  3. Если нельзя, то почему?
2
  • Это похоже на проблему XY. В качестве параметра шаблона должно использоваться константное выражение, а вы пытаетесь использовать неопределенный указатель на экземпляр класса, который еще даже не определили. Если написать два экземпляра b b1{}; b b2{}; то от чего по-вашему должен будет наследоваться каждый из них? В приведенном коде нет никаких причин для использования шаблона и вообще базового класса. Commented 21 мая 2019 в 13:24
  • @VTT Конечно, это упрощенный пример. Реальный пример кода слишком велик, чтобы его приводить здесь. И в реальном примере есть причины и для использования шаблона, и для использования базового класса.
    – pepsicoca1
    Commented 21 мая 2019 в 17:47

1 ответ 1

2

this никогда не считается константой времени компиляции, так что нельзя. Не представляю, как это вообще могло бы работать.

К тому же, this не существует снаружи нестатических функций.


Можно сделать намного проще. Внутри a<T> можно даункастить this в T * через static_cast<T *>(this), так что никакой указатель в полях класса хранить не нужно.

7
  • В классе "a" нужен именно указатель на экземпляр производного класса. Можно, конечно, его получить с помощью RTTI, но это не честно.
    – pepsicoca1
    Commented 21 мая 2019 в 16:26
  • @pepsicoca1 А почему нужен? И static_cast не использует RTTI. Commented 21 мая 2019 в 16:26
  • С помощью static_cast нельзя получить указатель на производный класс из указателя на базовый класс. Можно только наоборот, получить указатель на базовый класс из указателя на производный класс.
    – pepsicoca1
    Commented 21 мая 2019 в 16:29
  • @pepsicoca1 Нет, можно в обе стороны. Кроме отдельных случаев (например когда базовый класс - виртуальный; либо когда от базового класса наследуешься несколько раз - тогда нужна цепочка static_castов). Естественно, в отличие от dynamic_cast, static_cast не выдает никаких ошибок во время выполнения, так что нужно кастовать аккуратно. Commented 21 мая 2019 в 16:45
  • 1
    Мой мир рухнул.
    – pepsicoca1
    Commented 22 мая 2019 в 6:56

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.