purecpp - a cool open source modern c++ community

当ADL 遇上隐式转换

编辑时间：2024-05-27 00:54:02 作者：qicosmos 3条评论

出自：purecpp.cn

转载请注明出处！

最近在做iguana.struct_pb 动态反射功能的时候遇到一个奇怪的问题。

```cpp
struct person {
  std::string name;
  int64_t age;
};
REFLECTION(person, name, age);

struct persons {
  std::vector<person> list;
};
REFLECTION(persons, list);

//#1
static_assert(iguana::is_public_reflection_v<persons>);
```
代码#1 是符合预期的，因为person 和 persons 都是iguana的可反射对象，is_reflection_v的实现也比较简单：
```cpp
template <typename T, typename = void>
struct is_public_reflection : std::false_type {};

template <typename T>
struct is_public_reflection<
    T, std::void_t<decltype(iguana_reflect_members(std::declval<T>()))>>
    : std::true_type {};

template <typename T>
constexpr bool is_public_reflection_v = is_public_reflection<T>::value;
```
通过void_t 来检查T对象能否匹配函数`iguana_reflect_members`的调用，函数签名是这样的：
```cpp
template<typename T>
inline static auto iguana_reflect_members(const T& t);
```
只要结构体定义了REFLECTION宏，就一定匹配iguana_reflect_members函数调用，到目前为止一切都正常，但是我把结构体加一行代码之后就出现问题了。

```cpp
struct persons {
  persons(std::vector<person> s) : list(std::move(s)) {}
  std::vector<person> list;
};
REFLECTION(persons, list);
```
给persons加了一个构造函数，然后这样静态检查：
```cpp
static_assert(iguana::is_public_reflection_v<std::vector<person>>);
```
让人惊讶的是这个检查是通过的！为什么？因为隐式转换。

原来std::vector<person>可以隐式转换为persons，而persons则是一个可反射对象，所以这个不应该通过的检测通过了。

一种解决方法是避免隐式转换，在构造函数前加explicit，但这个方法治标不治本。

另外一种方法是将ADL 函数的参数改成指针，std::vector<person>是无法转换成persons指针的。但是仍然不够，如果有个类派生于persons，派生类指针可以隐式转换为基类指针的，仍然存在漏洞。

更好的做法是通过一个identity<T>来包装一下ADL 参数，这样，外面怎么隐式转换也无法转到identy<T>了。

```cpp
template<typename T>
struct identity{};

template<typename T>
inline static auto iguana_reflect_members(const identity<T>& t);
```

至此问题解决，隐式转换的坑还真不小，需要特别注意。

另外预告一下iguana.struct_pb 的动态反射功能：

- 根据类型名创建对象实例
- 获取对象所有的字段名
- 根据字段名和实例设置或获取字段的值

最后附上一首小诗：

**夜归**

**清风梳竹影，明月照归人。**

**不见来时路，惟余衣上尘。**

来说两句吧

最新评论

loop 2024-05-27 07:08:37

有个 poison pill 技术是专门控制这个匹配问题的，可以利用 using namespace 和重载决议优先级做到精细控制这个参数匹配成功与否
https://godbolt.org/z/MqWWYdEGE
loop 2024-05-27 07:45:43

逆向移植回 C++17 的版本
https://godbolt.org/z/on1feKehc
qicosmos 2024-05-27 12:22:00

不错，学习一下

purecpp

一个很酷的modern c++开源社区

[社区开源项目列表，点击前往]

purecpp社区自2015年创办以来，以“Newer is Better”为理念，相信新技术可以改变世界，一直致力于现代C++研究、应用和技术创新，期望通过现代C++的技术创新来提高企业生产力和效率。

社区坚持只发表原创技术文章，已经累计发表了一千多篇原创C++技术文章；

组织了十几场的C++沙龙和C++大会，有力地促进了国内外C++开发者之间的技术交流；

开源了十几个现代C++项目，被近百家公司所使用，有力地推动了现代C++在企业中的应用。

期待更多的C++爱好者能参与到社区C++社区的建设中来，一起为现代C++开源项目添砖加瓦，一起完善C++基础设施和生态圈。

微信公众号:purecpp, 社区邮箱: purecpp@163.com

分类导航

社区精华社区开源项目社区活动元编程代码精粹技术探讨 C++11/14/17/20 社区故事

友情链接