代码之家 › 专栏 › 技术社区 › Edward Strange

这行吗?

template-meta-programming templates c++

Edward Strange · 技术社区 · 14 年前

我正试图将元函数专门化为一个类型,该类型的参数之一是函数指针。代码编译得很好,但与类型不匹配。

#include <iostream>
#include <boost/mpl/bool.hpp>
#include <boost/mpl/identity.hpp>

template < typename CONT, typename NAME, typename TYPE, TYPE (CONT::*getter)() const, void (CONT::*setter)(TYPE const&) >
struct metafield_fun {};

struct test_field {};

struct test
{
  int testing() const { return 5; }
  void testing(int const&) {}
};

template < typename T >
struct field_writable : boost::mpl::identity<T> {};

template < typename CONT, typename NAME, typename TYPE, TYPE (CONT::*getter)() const >
struct field_writable< metafield_fun<CONT,NAME,TYPE,getter,0> > : boost::mpl::false_
{};

typedef metafield_fun<test, test_field, int, &test::testing, 0> unwritable;

int main()
{
  std::cout << typeid(field_writable<unwritable>::type).name() << std::endl;

  std::cin.get();
}

输出始终是传入的类型,而不是bool_uuu。

1 回复 | 直到 14 年前

Georg Fritzsche 14 年前

作为一个不存在评论中提到的转换问题的工作备选方案:

struct rw_tag {};
struct ro_tag {};

template<typename CONT, typename NAME, typename TYPE,
         TYPE (CONT::*getter)() const, void (CONT::*setter)(TYPE const&)>
struct metafield_fun_rw : rw_tag {};

template<typename CONT, typename NAME, typename TYPE,
         TYPE (CONT::*getter)() const>
struct metafield_fun_ro : ro_tag {};

template<class T> struct field_writable 
  : boost::mpl::bool_< boost::is_base_of<rw_tag, T>::value >
// or just derive directly from: boost::is_base_of<rw_tag, T>::value
{};

typedef metafield_fun_ro<test, test_field, int, &test::testing> unwritable;

替代地 metafield_fun 也可以 typedef readwrite-/readonly标记取决于其参数和 field_writable 有条件地派生,比如使用 boost::mpl::if_ .

推荐文章

yo_gdg · C++模板元函数

6 年前

oink · 模板类型推断是否可以考虑基元操作类型转换?

6 年前

Infinity · 在编译时创建键值类型的所有可能映射的变量类型,其中键值类型是从类型的元组中指定的

6 年前

Zach Saw · 将函数作为模板参数传递[重复]

6 年前

Antoine Morrier · C++constexpr:在编译时计算std数组

6 年前

Vincent · 一种类型特征,标识哪个类提供重载解析选择的函数

6 年前

Generic Name · 如何获取参数包中元素的索引

6 年前

Greg Nisbet · C++如何在没有隐式转换的情况下模拟函数?

6 年前

Vahagn · 如何“复制”模板参数包扩展?

6 年前

AOK · 为什么C++中的static\u for实现比常规的“for”循环慢

6 年前