- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
我有一个模板,它将参数列表中给出的模板应用于参数包中的所有类型并继承所有这些类型(称为 ApplyOnPack):
template<template<int, typename> class Template, typename Seq, typename... Args>
struct _Map {};
template<template<int, typename> class Template,
int firstIndex, int... indexes,
typename First, typename... Args>
struct _Map<Template, Seq<firstIndex, indexes...>, First, Args...>
: Template<firstIndex, First>,
_Map<Template, Seq<indexes...>, Args...>
{};
template<template<int, typename> class Template, typename... Args>
struct ApplyOnPack : _Map<Template, Sequence<sizeof...(Args)>, Args... >
{
template <int I>
struct Base {
typedef Template<I, GetNthParameter<I, Args...> > Type;
};
template <int I>
typename Base<I>::Type& base() { return *this; }
};
问题是,最后一个 base() 方法将无法通过 gcc (4.9.2) 声称无效引用初始化进行编译。返回类型应该是 *this 类型的基类之一,那么可能是什么问题呢?或者如何修改代码以使其可编译?代码在 msvc (2013) 下编译和运行。
我用下面的例子测试了它:
template <int i, typename T>
struct Part {
void foo() {}
};
template <typename ... T>
struct Foo : ApplyOnPack<Part, T...>
{
void bar() { this->template base<0>().foo(); }
};
typedef Foo<int, bool> MyFoo;
int main() {
MyFoo myFoo;
myFoo.bar();
}
哪个 gcc 失败了:
a.cpp: In instantiation of ‘typename ApplyOnPack<Template, Args>::Base<I>::Type& ApplyOnPack<Template, Args>::base() [with int I = 0; Template = Part; Args = {int, bool}; typename ApplyOnPack<Template, Args>::Base<I>::Type = Part<0, int>]’:
a.cpp:62:15: required from ‘void Foo<T>::bar() [with T = {int, bool}]’
a.cpp:69:12: required from here
a.cpp:51:43: error: invalid initialization of reference of type ‘ApplyOnPack<Part, int, bool>::Base<0>::Type& {aka Part<0, int>&}’ from expression of type ‘ApplyOnPack<Part, int, bool>’
typename Base<I>::Type& base() { return *this; }
遵循上面使用的附加模板:用于从参数包中提取第 n 个参数的模板(GetNthParameter):
template <int I, class... T>
struct _GetNthParameter;
template <int I, class Head, class... Tail>
struct _GetNthParameter<I, Head, Tail...>
: _GetNthParameter<I-1, Tail...>{};
template <class Head, class... Tail>
struct _GetNthParameter<0, Head, Tail...> {
typedef Head Type;
};
template<int index, typename... Types>
using GetNthParameter = typename _GetNthParameter<index, Types...>::Type;
还有一个用于构建整数序列(Sequence):
template<unsigned...>
struct Seq { typedef int value_type; };
template<unsigned max, unsigned... numbers>
struct _ExpandSeq : _ExpandSeq<max-1, max-1, numbers...> {};
template<unsigned... numbers>
struct _ExpandSeq<0, numbers...> {
typedef Seq<numbers...> type;
};
template<unsigned max>
using Sequence = typename _ExpandSeq<max>::type;
最佳答案
您的类型不匹配。 Seq
需要一堆 unsigned
:
template <unsigned...>
struct Seq { typedef int value_type; };
但是你专注于它需要一堆 int
s:
template<template<int, typename> class Template,
int firstIndex, int... indexes, // <==
typename First, typename... Args>
struct _Map<Template, Seq<firstIndex, indexes...>, First, Args...>
需要排队的。 Clang 接受代码,但这是一个 clang 错误 ( #28010 )。
正如我在评论中提到的,您使用的是标准保留的许多标识符。任何以下划线开头且后跟大写字母的单词都是保留的:不要使用它们!
关于c++ - 可变参数模板继承中的类型不匹配,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/37643751/
我使用的是 PHP 5.3 稳定版,有时会遇到非常不一致的行为。据我所知,在继承中,父类(super class)中的所有属性和方法(私有(private)、公共(public)和 protected
所以我一直在努力寻找正确的方法来让应该非常简单的继承发挥作用(以我想要的方式 ;)),但我失败得很惨。考虑一下: class Parent { public String name = "Pare
给定这些类: class Father { public Father getMe() { return this; } } class Child extends Father {
为什么最后打印“I'm a Child Class”。 ? public class Parent { String parentString; public Parent()
我知道有很多类似的问题对此有很多很好的答案。我试着看看经典的继承方法,或者那些闭包方法等。不知何故,我认为它们对我来说或多或少是“hack”方法,因为它并不是 javascript 设计的真正目的。
我已经使用表单继承有一段时间了,但没有对以下方法进行太多研究。只需创建一个新类而不是表单并从现有表单继承并根据需要将所需控件转换为 protected 。 Visual Studio 2010 设计器
我原以为下面的代码片段会产生编译错误,因为派生类不会有我试图在 pub_fun() 中访问的 priv_var。但是它编译了,我得到了下面提到的输出。有人可以解释这背后的理论吗? class base
继承的替代方案有哪些? 最佳答案 Effective Java:优先考虑组合而不是继承。 (这实际上也来自《四人帮》)。 他提出的情况是,如果扩展类没有明确设计为继承,继承可能会导致许多不恰当的副作用
我有2个类别:动物( parent )和狗(动物的“ child ”),当我创建一个 Animal 对象并尝试提醒该动物的名称时,我得到了 undefined ,而不是她的真名。为什么?(抱歉重复发帖
我试图做继承,但没想到this.array会像静态成员一样。我怎样才能让它成为“ protected /公开的”: function A() { this.array = []; } func
在创建在父类中使用的 lambda 时,我试图访问子类方法和字段。代码更容易解释: class Parent { List> processors; private void do
如果我有一个对象,我想从“ super 对象”“继承”方法以确保一致性。它们将是混合变量。 修订 ParentObj = function() { var self = this; t
class Base { int x=1; void show() { System.out.println(x); } } class Chi
目前我正在尝试几种不同的 Javascript 继承方法。我有以下代码: (“借用”自 http://www.kevlindev.com/tutorials/javascript/inheritanc
我在 .popin-foto 元素中打开一个 popin。当我尝试在同一元素中打开子类 popin 时,它不起作用。 代码 这是 parent function Popin(container, ti
我有以下两个类: class MyClass { friend ostream& operatorvalue +=1; return *this; } 现在
有没有办法完全忽略导入到 html 文件中的 header 中的 CSS 文件? 我希望一个页面拥有自己独立的 CSS,而不是从任何其他 CSS 源继承。 最佳答案 您可以在本地样式表中使用 !imp
Douglas Crockford似乎喜欢下面的继承方式: if (typeof Object.create !== 'function') { Object.create = functio
假设我有以下代码: interface ISomeInterface { void DoSomething(); void A(); void B(); } public
class LinkedList{ public: int data; LinkedList *next; }; class NewLinkedList: public Lin
我是一名优秀的程序员,十分优秀!