相关疑难解决方法(0)

我正在开发一个具有模板功能的项目:

template <class T> 
T foo<T>(T val) { return someFunc(val); }

template <>
bool foo<bool>(bool val) { return otherFunc(val); };

现在,我有一个课程Bar,我不想接受它作为输入.实际上,我希望它能够生成一个容易发现的编译错误.问题是,如果我这样做:

template <>
Bar foo<Bar>(Bar val) { static_assert(false,"uh oh..."); }

它在每次编译时都失败了.我找到了/sf/answers/274879811/,它说我需要引用模板类型,否则静态断言总会发生.问题是我这里没有模板类型.如果我做:

template< typename T >
struct always_false { 
    enum { value = false };  
};

template <>
Bar foo<Bar>(Bar val) { static_assert(always_false<Bar>::value,"uh oh..."); }

那么它也总是无法编译.有没有办法确保带有类型的模板实例化Bar总是会导致编译错误？