Wie bringt ich den Basis -Vorlagenklassentyp in den aktuellen Umfang mit, wenn Klassennamen übereinstimmen? ⇐ C++

[Guest]

Ich erstelle statistische Datenmanagementsoftware und habe einige GCC -spezifische Probleme gestellt. Mit großer Anstrengung habe ich es also geschafft, das Problem in minimalem Beispiel neu zu erstellen: < /p>

Code: Select all

// generic statistic with complicated managing logic and single calculation
// funciton. there could be multiple classes like this
template
class statistic {
public:
using value_type = T;
virtual value_type f(int param) = 0;
};

// macro for defining a lot of statistics.
// it could take the name for different statistic class
#define STAT(NAME, TYPE) \
class NAME##_impl: public statistic { \
public: \
using typename statistic::value_type; \
\
value_type f(int param) override; \
} NAME; \

template
class vec {
public:
using value_type = T;

// (error) trying to make statistic follow the vector type
STAT(mult_by_2, value_type);

// this statistic should be int not regarding the vec type
STAT(integer_statistic, int);

value_type vec_data;
};

template
typename vec::mult_by_2_impl::value_type vec::mult_by_2_impl::f(int param) {
// value type in statistic that was brought in current class scope
value_type var = 2*param;
return var;
}

template
typename vec::integer_statistic_impl::value_type vec::integer_statistic_impl::f(int param) {
return 1;
}

int main(int argc, char** argv) {
vec v;
return 0;
}

Dieser Code passt gut zu Clang ++ use. < /p>

Code: Select all

using.cpp:15:49: error: declaration of ‘using statistic::value_type’ changes meaning of ‘value_type’ [-Wchanges-meaning]
15 |                 using typename statistic::value_type; \
|                                                 ^~~~~~~~~~
using.cpp:26:9: note: in expansion of macro ‘STAT’
26 |         STAT(mult_by_2, value_type);
|         ^~~~
using.cpp:26:25: note: used here to mean ‘using vec::value_type = T’
26 |         STAT(mult_by_2, value_type);
|                         ^~~~~~~~~~
using.cpp:15:42: note: in definition of macro ‘STAT’
15 |                 using typename statistic::value_type; \
|                                          ^~~~
using.cpp:23:15: note: declared here
23 |         using value_type = T;
|               ^~~~~~~~~~

Wie ich verstanden habe, erweitert der Statistik (mult_by_2, value_type) mit der Verwendung von Typename Statistic :: value_type in IT auf die Klassendefinition erweitert. Der erste Value_Type stammt jedoch von VEC und zweitwerts -Type aus der Statistik . Es ist ziemlich verwirrend, ich weiß.