c++ - 错误:可变参数模板类的类型不完整
问题描述
我有代码:
#include <unordered_set>
template<typename First, typename Enable = void, typename ... T>
class converged_is_exactly_equal_functor;
template<typename ... T>
bool converged_is_exactly_equal(const T& ...);
template <typename T, typename std::enable_if<std::is_arithmetic<T>::value || std::is_enum<T>::value>::type* = nullptr>
bool is_exactly_equal(const T other, const T one) {
return (other == one);
}
template<typename First, typename ... T>
class converged_is_exactly_equal_functor<First, std::enable_if<sizeof...(T) == 1>, T ...>
{
private:
static std::unordered_set<First*> visited_values;
void visit_value (const First& value_to_visit) {
visited_values.insert(&value_to_visit);
}
bool is_visited (const First& value_to_check) {
return (visited_values.find(&value_to_check) != visited_values.end());
}
public:
converged_is_exactly_equal_functor(void){}
bool operator () (const First& first_arg, const T& ... expanded_args) const {
if (!is_visited(first_arg)) {
visit_value(first_arg);
return is_exactly_equal(first_arg, expanded_args ...);
}
return true;
}
};
template<typename First, typename ... T>
std::unordered_set<First*> converged_is_exactly_equal_functor<First, std::enable_if<sizeof...(T) == 1>, T ...>::visited_values;
template<typename First, typename ... T>
class converged_is_exactly_equal_functor<First, std::enable_if<sizeof...(T) != 1>, T ...>
{
public:
converged_is_exactly_equal_functor(void){}
bool operator () (const First& first_arg, const T& ... expanded_args) const {
return is_exactly_equal(first_arg, expanded_args ...);
}
};
template<typename ... T>
bool converged_is_exactly_equal(const T& ... expanded_args) {
converged_is_exactly_equal_functor<T ... > my_functor;
return my_functor(expanded_args ...);
}
class a {
public:
a() : dbid(1), lsb(123) {}
int dbid;
long lsb;
};
bool operator == (const a& other, const a& one) {
if (&other == &one)
return true;
return (
converged_is_exactly_equal(other.dbid, one.dbid) &&
converged_is_exactly_equal(other.lsb, one.lsb)
);
}
int main(void) {
a as, bs;
as == bs;
}
鉴于类 a是一组简单的原始类型,为什么我会收到以下错误:
my_file.cxx: In instantiation of 'bool converged_is_exactly_equal(const T& ...) [with T = {long int, long int}]':
my_file.cxx:690:56: required from here
my_file.cxx:682:48: error: 'converged_is_exactly_equal_functor<long int, long int> my_functor' has incomplete type
converged_is_exactly_equal_functor<T ... > my_functor;
我相信该错误与专有数据结构无关,但我不明白为什么类型可能不完整。我将 unordered_set 的头文件包含在同一个文件中。
is_exactly_equal(T)的所有定义都是在前向声明和模板定义之间完成的。
请尽可能明确,因为我倾向于发现一般来说理解模板错误很复杂。
我可以提供更多必要的信息,但我明天才会回来。(这个让我筋疲力尽:-/)
解决方案
问题出在converged_is_exactly_equal_functor
课堂和使用上。
您声明如下
template<typename First, typename Enable = void, typename ... T>
class converged_is_exactly_equal_functor;
没有定义它。
然后你定义两个专业化:一个用于案例sizeof...(T) == 1
template<typename First, typename ... T>
class converged_is_exactly_equal_functor<First, std::enable_if<sizeof...(T) == 1>, T ...>
{
// ...
};
和一个案例sizeof...(T) != 1
template<typename First, typename ... T>
class converged_is_exactly_equal_functor<First, std::enable_if<sizeof...(T) != 1>, T ...>
{
// ...
};
你使用里面的类converged_is_exactly_equal
template<typename ... T>
bool converged_is_exactly_equal(const T& ... expanded_args) {
converged_is_exactly_equal_functor<T ... > my_functor;
return my_functor(expanded_args ...);
}
这在你的程序中被调用了两次
converged_is_exactly_equal(other.dbid, one.dbid) &&
converged_is_exactly_equal(other.lsb, one.lsb)
第一次用两个int
,第二次用两个long
。
在这两种情况下,您声明一个converged_is_exactly_equal_functor
带有第二个模板参数的值 not void
,因此与特化不匹配,因此与主模板匹配,但主模板已声明但未定义。
所以错误。
一个可能的解决方案:丢弃 SFINAE 部分并简单地为以下类型的可变参数列表声明/定义类(旧的sizeof...(T) != 0
)
template <typename F, typename ... Ts>
class converged_is_exactly_equal_functor
{
public:
converged_is_exactly_equal_functor ()
{ }
bool operator () (F const & fa, Ts const & ... ea) const
{ return is_exactly_equal(fa, ea ...); }
};
并只为两种情况(旧sizeof...(T) == 1
情况)定义一个专业化
template <typename First, typename Second>
class converged_is_exactly_equal_functor<First, Second>
{
private:
static std::unordered_set<First const *> visited_values;
void visit_value (First const & value_to_visit) const
{ visited_values.insert(&value_to_visit); }
bool is_visited (First const & value_to_check) const
{ return (visited_values.find(&value_to_check) != visited_values.end()); }
public:
converged_is_exactly_equal_functor ()
{ }
bool operator () (First const & fa, Second const & sa) const
{
if ( false == is_visited(fa) )
{
visit_value(fa);
return is_exactly_equal(fa, sa);
}
return true;
}
};
template <typename First, typename Second>
std::unordered_set<First const *> converged_is_exactly_equal_functor<First, Second>::visited_values;
注意我添加了一些const
让它编译。
推荐阅读
- authlib - clients = self.AVAILABLE_CLIENTS[name] KeyError: 'requests' flask authlib client
- node.js - fastify-mongodb : "mongo" 在访问时未定义
- python - 如何使用 pyplot 创建曲面图?
- kotlin - 如何将 Kotlin 代码中的 null 传递给 Java 库中将 String 作为参数的方法?
- java - 让 Eclipse 自动静态导入类
- ruby-on-rails - 获取具有包含特定值的数组的所有对象
- javascript - 窗口宽度中的Jquery多个条件类似于媒体查询
- android - 如何检查 UI 是否正在刷新?
- javascript - 如何将 SCSS 编译为 CSS 并将 CSS 代码作为字符串加载到变量中?
- yaml - Azure Pipelines 中的多行字符串