jjzjj

c++ - 通过按值传递的 CRTP 模式的单元化拷贝

coder 2024-02-19 原文

我正在使用 CRTP 模式，并尝试定义适用于其实现的运算符。我发现了未初始化对象的一种奇怪行为。

CRTP 基类:

template < class C >
struct CRTP
{
  using self_t = C;
  const self_t& self() const
  { return static_cast<const self_t&>(*this); }
  self_t& self()
  {
    const CRTP& cs = static_cast<const CRTP&>(*this);
    return const_cast<self_t&>(cs.self());
  }
  void printValue()
  { cout << "CRTP value : " << self().getValue() << endl; }
};

实现 1:

struct Impl : public CRTP<Impl> {
  Impl()            = default;
  Impl(Impl&&)      = default;
  Impl(const Impl&) = default;
  explicit
  Impl(int i) : v(i) { }

  friend void swap(Impl& l, Impl& r)
  { using std::swap; swap(l.v, r.v); }

  Impl& operator=(Impl o)
  { swap(*this, o); return *this; }

  int getValue() const
  { return v; }

private:
  int v;
};

实现 2:

template < class Arg >
struct Neg : public CRTP< Neg<Arg> >
{
  Neg()           = default;
  Neg(Neg&&)      = default;
  Neg(const Neg&) = default;
  explicit
  Neg(Arg arg) : a(arg) { }

  friend void swap(Neg& l, Neg& r)
  { using std::swap; swap(l.a, r.a); }

  Neg& operator=(Neg o)
  { swap(*this, o); return *this; }

  int getValue() const
  { return -a.getValue(); }
 private:
  Arg a;
};

运算符(operator! 工作正常，operator~ 显示问题):

template < class C >
Neg<C> operator~(CRTP<C> v)
{ return Neg<C>(std::move(v.self())); }

template < class C >
Neg<C> operator-(const CRTP<C>& v)
{ return Neg<C>(v.self()); }

template < class C >
Neg<C> operator-(CRTP<C>&& v)
{ return Neg<C>(std::move(v.self())); }

现在有了一个简单的 main:

int main(void)
{
  auto n = -Impl(10);
  n.printValue();
  n = ~Impl(20);
  n.printValue();
}

用 gcc 编译，我有:

CRTP value : -10
CRTP value : 0

用 CLANG 编译我得到:

CRTP value : -10
CRTP value : -1186799704

现在我有两个问题:

  • 这是行为标准吗？即使我删除了默认值，它也会发生 构造函数。
  • 如何在“按值传递”中实现运算符 style”？我有 n 元运算符，我想使用 可变参数模板，我无法枚举左值和右值引用的每个组合。

最佳答案

您在 operator ~ 的参数中对对象进行切片.你正在服用 CRTP<C>按值(value)，这意味着超出 CRTP 的任何东西子对象(例如成员 v 或 a )将被切掉。然后，您将通过转换 CRTP<C> 类型的切片对象来调用未定义的行为。输入 C , 它不是。

当你按值传递时，你需要传递正确类型的值——对象实际的类型。您的对象不是 CRTP<C> 类型对于任何 C , 它们属于 derived 来自 CRTP<C> 的类型(对于一些 C )。

如果您想保留按值传递签名，则必须接受任何内容并使用 SFINAE 检查是否存在正确的基类:

template <class C>
typename std::enable_if<std::is_base_of<CRTP<C>, C>::value, Neg<C>>::type operator~ (C v)
{ return Neg<C>(std::move(v.self())); }

或者您可以使用完美转发，使用相同的技巧。

关于c++ - 通过按值传递的 CRTP 模式的单元化拷贝，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/32047384/

单元化ampcodeCRTPltc++

有关c++ - 通过按值传递的 CRTP 模式的单元化拷贝的更多相关文章

  1. ruby - 通过 rvm 升级 ruby​​gems 的问题 - 2

    尝试通过RVM将RubyGems升级到版本1.8.10并出现此错误:$rvmrubygemslatestRemovingoldRubygemsfiles...Installingrubygems-1.8.10forruby-1.9.2-p180...ERROR:Errorrunning'GEM_PATH="/Users/foo/.rvm/gems/ruby-1.9.2-p180:/Users/foo/.rvm/gems/ruby-1.9.2-p180@global:/Users/foo/.rvm/gems/ruby-1.9.2-p180:/Users/foo/.rvm/gems/rub

  2. ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2

    我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server

  3. ruby - 通过 erb 模板输出 ruby​​ 数组 - 2

    我正在使用puppet为ruby​​程序提供一组常量。我需要提供一组主机名，我的程序将对其进行迭代。在我之前使用的bash脚本中，我只是将它作为一个puppet变量hosts=>"host1,host2"我将其提供给bash脚本作为HOSTS=显然这对ruby​​不太适用——我需要它的格式hosts=["host1","host2"]自从phosts和putsmy_array.inspect提供输出["host1","host2"]我希望使用其中之一。不幸的是，我终其一生都无法弄清楚如何让它发挥作用。我尝试了以下各项:我发现某处他们指出我需要在函数调用前放置“function_”……这

  4. ruby - 通过 ruby​​ 进程共享变量 - 2

    我正在编写一个gem，我必须在其中fork两个启动两个webrick服务器的进程。我想通过基类的类方法启动这个服务器，因为应该只有这两个服务器在运行，而不是多个。在运行时，我想调用这两个服务器上的一些方法来更改变量。我的问题是，我无法通过基类的类方法访问fork的实例变量。此外，我不能在我的基类中使用线程，因为在幕后我正在使用另一个不是线程安全的库。所以我必须将每个服务器派生到它自己的进程。我用类变量试过了，比如@@server。但是当我试图通过基类访问这个变量时，它是nil。我读到在Ruby中不可能在分支之间共享类变量，对吗？那么，还有其他解决办法吗？我考虑过使用单例，但我不确定这是

  5. ruby - 通过 RVM (OSX Mountain Lion) 安装 Ruby 2.0.0-p247 时遇到问题 - 2

    我的最终目标是安装当前版本的RubyonRails。我在OSXMountainLion上运行。到目前为止，这是我的过程:已安装的RVM$\curl-Lhttps://get.rvm.io|bash-sstable检查已知(我假设已批准)安装$rvmlistknown我看到当前的稳定版本可用[ruby-]2.0.0[-p247]输入命令安装$rvminstall2.0.0-p247注意:我也试过这些安装命令$rvminstallruby-2.0.0-p247$rvminstallruby=2.0.0-p247我很快就无处可去了。结果:$rvminstall2.0.0-p247Search

  6. ruby-on-rails - Enumerator.new 如何处理已通过的 block ？ - 2

    我在理解Enumerator.new方法的工作原理时遇到了一些困难。假设文档中的示例:fib=Enumerator.newdo|y|a=b=1loopdoy[1,1,2,3,5,8,13,21,34,55]循环中断条件在哪里，它如何知道循环应该迭代多少次(因为它没有任何明确的中断条件并且看起来像无限循环)？ 最佳答案 Enumerator使用Fibers在内部。您的示例等效于:require'fiber'fiber=Fiber.newdoa=b=1loopdoFiber.yieldaa,b=b,a+bendend10.times.m

  7. ruby - 按值降序排列散列，然后按升序键入 ruby - 2

    我有这样的哈希trial_hash={"key1"=>1000,"key2"=>34,"key3"=>500,"key4"=>500,"key5"=>500,"key6"=>500}我按值降序排列:my_hash=trial_hash.sort_by{|k,v|v}.reverse我现在是这样理解的:[["key1",1000],["key4",500],["key5",500],["key6",500],["key3",500],["key2",34]]但我希望当值相同时按键的升序排序。我该怎么做？例如:上面的散列将以这种方式排序:[["key1",1000],["key3",500

  8. ruby - 寻找通过阅读代码确定编程语言的ruby gem？ - 2

    几个月前，我读了一篇关于ruby​​gem的博客文章，它可以通过阅读代码本身来确定编程语言。对于我的生活，我不记得博客或gem的名称。谷歌搜索“ruby编程语言猜测”及其变体也无济于事。有人碰巧知道相关gem的名称吗？ 最佳答案 是这个吗:http://github.com/chrislo/sourceclassifier/tree/master 关于ruby-寻找通过阅读代码确定编程语言的rubygem？，我们在StackOverflow上找到一个类似的问题：

  9. 通过 MacPorts 的 RubyGems 是个好主意吗？ - 2

    从MB升级到新的MBP后，Apple的迁移助手没有移动我的gem。我这次是通过macports安装ruby​​gems，希望在下次升级时避免这种情况。有什么我应该注意的陷阱吗？ 最佳答案 如果你想把你的gems安装在你的主目录中(在传输过程中应该复制过来，作为一个附带的好处，会让你以你自己的身份运行geminstall，而不是root)，将gemhome:键设置为您在~/.gemrc中的主目录中的路径. 关于通过MacPorts的RubyGems是个好主意吗？，我们在StackOverf

  10. ruby - rails 3 redirect_to 将参数传递给命名路由 - 2

    我没有找到太多关于如何执行此操作的信息，尽管有很多关于如何使用像这样的redirect_to将参数传递给重定向的建议:action=>'something',:controller=>'something'在我的应用程序中，我在路由文件中有以下内容match'profile'=>'User#show'我的表演Action是这样的defshow@user=User.find(params[:user])@title=@user.first_nameend重定向发生在同一个用户Controller中，就像这样defregister@title="Registration"@user=Use

随机推荐