I have the following code:
item.h
using item_t = char;
constexpr item_t no_item = '*';
constexpr item_t item1 = 'a';
constexpr item_t item2 = 'b';
bool isItem(const item_t &item) {
return item == no_item || item == item1 || item == item2;
}
class base {
public:
base() : value(no_item) {}
base(const item_t &item) : value(item) {}
friend std::ostream &operator<<(std::ostream &out, const base &b) {
out << b.value;
}
/*other stuff*/
private:
item_t value;
};
template<bool(*check)(const item_t&)>
class derivedTmp : base {
public:
derivedTmp() : base() {}
derivedTmp(item_t item) {
if (!check(item)) {
base::base();
}
else {
base::base(item);
}
}
};
using derived = derivedTmp<isItem>;
const derived d1(item1);
const derived d2(item2);
main.cpp
#include<iostream>
#include "item.h"
int main() {
cout << item1 << "" << item2 << "
";
}
I really do not understand why it does not work. If there is some syntax error, it doesn't care because it means I made a mistake but the program compiles good; the output is * *
instead of a b
as I expect. Can anyone explain to me why? I’m using C++17 in Visual Studio 19.
与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…