- android - RelativeLayout 背景可绘制重叠内容
- android - 如何链接 cpufeatures lib 以获取 native android 库?
- java - OnItemClickListener 不起作用,但 OnLongItemClickListener 在自定义 ListView 中起作用
- java - Android 文件转字符串
我相当熟悉不涉及宏魔术的标准元编程解决方案(例如 C++11 ways of finding if a type has member function or supports operator?)。但是,我有一个涉及以下便利宏的用例(当然,为 StackOverflow 大大简化了,但想象一下这是用于序列化或其他东西)...
#define START(type) do { typedef type current; const char typeName[] = #type
#define OUTPUT(fieldname) \
printf("type of %s.%s is %s\n", #type, #fieldname, \
std::is_same<decltype(std::declval<current>().fieldname),int> ? "int" : "string")
#define END() } while (0)
struct Foo { int i; char *j; char *k; };
struct Bar { char *x; int y; };
START(Foo);
OUTPUT(i); // type of Foo.i is int
OUTPUT(j); // type of Foo.j is string
OUTPUT(k); // type of Foo.k is string
END();
START(Bar);
OUTPUT(x); // type of Bar.x is string
OUTPUT(y); // type of Bar.y is int
END();
但是现在假设有人出现并向我们的模式添加了一种新的数据成员:字段对 (x, xLength)
.我们想像这样更改我们的便利宏...
#define START(obj) do { const auto& current = (obj)
#define OUTPUT(fieldname) \
printf("type of %s.%s is %s\n", #type, #fieldname, \
std::is_same<decltype(std::declval<current>().fieldname),int> ? "int" :
hasfield(current, fieldname##Length) ? "Pascal string" : "C string")
#define END() } while (0)
struct Baz { char *x, *y, *z; int xLength, zLength; };
START(Baz);
OUTPUT(x); // type of Baz.x is Pascal string
OUTPUT(y); // type of Baz.y is C string
OUTPUT(z); // type of Baz.z is Pascal string
END();
我自己设法想出了以下 hasfield
的实现适用于 Clang...
#define hasfield(classtype, fieldname) \
[]() { \
struct X { \
template<class T, int=sizeof(&T::fieldname)> static constexpr bool f(T*){ return true; } \
static constexpr bool f(...) { return false; } \
}; return X::f((classtype*)0); \
}()
...但不幸的是,这似乎是由于 a bug in Clang 造成的;根据 C++11 标准,本地类 X
不允许有模板成员。事实上,这段代码无法用 GCC 编译。
所以我很困惑:可能在 C++11 中定义 OUTPUT
宏这样它就会做我想做的事?
绝对约束:不改变 Baz
的结构定义.没有硬编码 fieldname
提前。
可有可无:A hasfield(c,f)
也可以在其他上下文中使用的宏(而不是将代码直接缠绕到 OUTPUT
宏中)。不假设 offsetof(c,fLength)==offsetof(c,f)+sizeof(std::declval<c>().f)
.
最佳答案
通过从 current
继承并依赖于阴影,可以使它在某些限制下工作,这些限制对您来说可能重要也可能不重要:声明一个本地 fieldname
变量,创建一个派生自您正在检查的类型的局部类,并在成员函数内部检查 fieldname
是否仍然引用局部变量。如果存在,则不存在成员 fieldname
。
#include <utility>
#include <stdio.h>
#define START(type) do { typedef type current; const char typeName[] = #type
#define HASMEMBER(fieldname) \
[]() -> bool { \
struct HASMEMBER1 { } fieldname; \
struct HASMEMBER2 : current { \
static char TEST1(HASMEMBER1&); \
static char (&TEST1(...))[2]; \
auto TEST2() -> decltype(TEST1(fieldname)); \
}; \
return sizeof(std::declval<HASMEMBER2>().TEST2()) == 2; \
}()
#define OUTPUT(fieldname) \
printf("type of %s.%s is %s\n", typeName, #fieldname, \
std::is_same<decltype(current::fieldname),int>::value ? "int" : \
HASMEMBER(fieldname##Length) ? "Pascal string" : "C string")
#define END() } while (0)
struct Foo { int i; char *j; char *k; };
struct Bar { char *x; int y; };
struct Baz { char *x, *y, *z; int xLength, zLength; };
int main()
{
START(Foo);
OUTPUT(i); // type of Foo.i is int
OUTPUT(j); // type of Foo.j is C string
OUTPUT(k); // type of Foo.k is C string
END();
START(Bar);
OUTPUT(x); // type of Bar.x is C string
OUTPUT(y); // type of Bar.y is int
END();
START(Baz);
OUTPUT(x); // type of Baz.x is Pascal string
OUTPUT(y); // type of Baz.y is C string
OUTPUT(z); // type of Baz.z is Pascal string
END();
}
编辑为适用于 GCC 4.6.3。它也仍然被 GCC 4.8.1 和 clang 3.3 接受,并且也应该与 GCC 4.7.3 一起工作(但不是 4.7.2)。
关于c++ - 是否可以在 C++11 中编写宏 existenceof(S,f) 或 hasfield(S,f)?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/18925788/
我有一个 if 语句,如下所示 if (not(fullpath.lower().endswith(".pdf")) or not (fullpath.lower().endswith(tup
然而,在 PHP 中,可以: only appears if $foo is true. only appears if $foo is false. 在 Javascript 中,能否在一个脚
XML有很多好处。它既是机器可读的,也是人类可读的,它具有标准化的格式,并且用途广泛。 它也有一些缺点。它是冗长的,不是传输大量数据的非常有效的方法。 XML最有用的方面之一是模式语言。使用模式,您可
由于长期使用 SQL2000,我并没有真正深入了解公用表表达式。 我给出的答案here (#4025380)和 here (#4018793)违背了潮流,因为他们没有使用 CTE。 我很欣赏它们对于递
我有一个应用程序: void deleteObj(id){ MyObj obj = getObjById(id); if (obj == null) { throw n
我的代码如下。可能我以类似的方式多次使用它,即简单地说,我正在以这种方式管理 session 和事务: List users= null; try{ sess
在开发J2EE Web应用程序时,我通常会按以下方式组织我的包结构 com.jameselsey.. 控制器-控制器/操作转到此处 服务-事务服务类,由控制器调用 域-应用程序使用的我的域类/对象 D
这更多是出于好奇而不是任何重要问题,但我只是想知道 memmove 中的以下片段文档: Copying takes place as if an intermediate buffer were us
路径压缩涉及将根指定为路径上每个节点的新父节点——这可能会降低根的等级,并可能降低路径上所有节点的等级。有办法解决这个问题吗?有必要处理这个吗?或者,也许可以将等级视为树高的上限而不是确切的高度? 谢
我有两个类,A 和 B。A 是 B 的父类,我有一个函数接收指向 A 类型类的指针,检查它是否也是 B 类型,如果是将调用另一个函数,该函数接受一个指向类型 B 的类的指针。当函数调用另一个函数时,我
有没有办法让 valgrind 使用多个处理器? 我正在使用 valgrind 的 callgrind 进行一些瓶颈分析,并注意到我的应用程序中的资源使用行为与在 valgrind/callgrind
假设我们要使用 ReaderT [(a,b)]超过 Maybe monad,然后我们想在列表中进行查找。 现在,一个简单且不常见的方法是: 第一种可能性 find a = ReaderT (looku
我的代码似乎有问题。我需要说的是: if ( $('html').attr('lang').val() == 'fr-FR' ) { // do this } else { // do
根据this文章(2018 年 4 月)AKS 在可用性集中运行时能够跨故障域智能放置 Pod,但尚不考虑更新域。很快就会使用更新域将 Pod 放入 AKS 中吗? 最佳答案 当您设置集群时,它已经自
course | section | type comart2 : bsit201 : lec comart2 :
我正在开发自己的 SDK,而这又依赖于某些第 3 方 SDK。例如 - OkHttp。 我应该将 OkHttp 添加到我的 build.gradle 中,还是让我的 SDK 用户包含它?在这种情况下,
随着 Rust 越来越充实,我对它的兴趣开始激起。我喜欢它支持代数数据类型,尤其是那些匹配的事实,但是对其他功能习语有什么想法吗? 例如标准库中是否有标准过滤器/映射/归约函数的集合,更重要的是,您能
关闭。这个问题不符合Stack Overflow guidelines .它目前不接受答案。 这个问题似乎与 help center 中定义的范围内的编程无关。 . 关闭 9 年前。 Improve
我一直在研究 PHP 中的对象。我见过的所有示例甚至在它们自己的对象上都使用了对象构造函数。 PHP 会强制您这样做吗?如果是,为什么? 例如: firstname = $firstname;
...比关联数组? 关联数组会占用更多内存吗? $arr = array(1, 1, 1); $arr[10] = 1; $arr[] = 1; // <- index is 11; does the
我是一名优秀的程序员,十分优秀!