c++ - 从类类型到类类型的隐式转换

coder 2023-11-14 原文

我正在研究 C++ 中的转换构造函数和转换运算符。到目前为止我学到的是，任何只接受一个参数(和任意数量的可选默认参数)的非显式构造函数都表示到该类类型的隐式类类型转换，例如，如果一个类定义了一个具有一个 int 类型的参数我可以在任何需要该类类型的对象的地方使用 int:

(假设 class_type 有一个重载的 += 运算符)

class_type a;
a+=5;

在这种情况下，5 被隐式转换(通过转换构造函数)为 class_type 并调用重载运算符。

现在，(至少对我而言)棘手的部分:我知道我可以将转换运算符定义为成员函数:

operator int() {....};

将 class_type 的对象转换为原始 int 类型，我可以像这样使用该转换:

class_type a;
a+5;

在这种情况下，我读到对象通过其转换运算符转换为 int，然后调用内置求和运算符。但是，如果我定义了一个重载的 + 运算符以将两个 class_type 对象作为其参数怎么办？类似

class_type 运算符+(const class_type&,const class_type &c);

编译器如何通过函数匹配知道调用哪一个？仅当仅定义内置运算符时才会隐式转换为 int 吗？

谢谢!

编辑:

实际上，我已经尝试编写一些代码来有效地试用它，结果证明我的编译器 (g++) 没有发出任何不明确的调用错误!

这是类头(连同非成员运算符+函数声明):

#include <iostream>

class wrapper {
    friend std::ostream &operator<<(std::ostream&,const wrapper&);
  public:
    wrapper()=default; 
    wrapper(int);
    int get();
    operator int() const;
    wrapper operator+(int);
  private:
    int a=10;
};

std::ostream &operator<<(std::ostream&,const wrapper&);

这是主要代码:

#include "wrapper.h"

int main()
{
  using namespace std;
  wrapper w1;
  wrapper w2(5);
  cout<<w1<<" "<<w2<<endl;
  w1+1;  
}

现在，我已经定义了一个从 int 到 wrapper 的转换构造函数和一个从类类型到 int 的转换运算符(我已经还重载了 < 输出运算符以打印一些结果)，但是当编译器计算表达式="">w1+1 时，它似乎没问题。怎么可能？？

最佳答案

例如，如果您有以下包含转换构造函数和转换运算符的类声明

struct A
{
    A( int x ) : x( x ) {}
    operator int() const { return x; }
    int x;
};        

const A operator +( const A &a1, const A &a2 )
{
    return A( a1.x + a2.x );
}

然后语句

a1 + a2;

例如 a1 和 a2 的声明

A a1( 10 );
A a2( 20 );

将是合式的，因为不需要调用转换函数。两个操作数都匹配运算符 + 的参数声明。

但是如果你会写，例如

a1 + 20;

当编译器因为存在歧义而发出错误时。编译器可以应用转换构造函数 A( int ) 将第二个操作数转换为 A 类型，并调用为 A 类型的对象定义的运算符.或者它可以应用转换运算符operator int将第一个操作数转换为类型int并为类型的对象调用内置的operator + int.

为避免这种歧义，您可以使用函数说明符 explicit 声明构造函数或运算符(或两者)。

例如

    explicit A( int x ) : x( x ) {}

或

    explicit operator int() const { return x; }

在这种情况下，只有一个隐式转换存在，并且没有歧义。

我想补充上面的描述，有时一些转换运算符可以被隐式调用，即使它们是用函数说明符 explicit 声明的。

例如根据C++标准(6.4选择语句)

...The value of a condition that is an expression is the value of the expression, contextually converted to bool for statements other than switch;

and (5.16 条件运算符)

1 Conditional expressions group right-to-left. The first expression is contextually converted to bool (Clause 4).

例如，如果上述类具有以下使用函数说明符 explicit 声明的转换运算符

explicit operator bool() const { return x != 0; }

不过它会被隐式调用，例如在下面的语句中

A a( 10 );

std::cout << ( a ? "true" : "false" ) << std::endl;

这里a会在条件运算符中被转换为bool类型的对象。

编辑:在你更新你的问题之后这个表达式

w1+1;

是运算符的精确匹配

wrapper operator+(int);

都不需要转换。所以代码编译成功。

关于c++ - 从类类型到类类型的隐式转换，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/32068106/

amp 43 code 运算符 pre c++c++11 type-conversion

有关c++ - 从类类型到类类型的隐式转换的更多相关文章

ruby-on-rails - 在 Rails 中将文件大小字符串转换为等效千字节 - 2
我的目标是转换表单输入，例如“100兆字节”或“1GB”，并将其转换为我可以存储在数据库中的文件大小(以千字节为单位)。目前，我有这个:defquota_convert@regex=/([0-9]+)(.*)s/@sizes=%w{kilobytemegabytegigabyte}m=self.quota.match(@regex)if@sizes.include?m[2]eval("self.quota=#{m[1]}.#{m[2]}")endend这有效，但前提是输入是倍数(“gigabytes”，而不是“gigabyte”)并且由于使用了eval看起来疯狂不安全。所以，功能正常，
ruby - 使用 ruby 将 HTML 转换为纯文本并维护结构/格式 - 2
我想将html转换为纯文本。不过，我不想只删除标签，我想智能地保留尽可能多的格式。为插入换行符标签，检测段落并格式化它们等。输入非常简单，通常是格式良好的html(不是整个文档，只是一堆内容，通常没有anchor或图像)。我可以将几个正则表达式放在一起，让我达到80%，但我认为可能有一些现有的解决方案更智能。最佳答案首先，不要尝试为此使用正则表达式。很有可能你会想出一个脆弱/脆弱的解决方案，它会随着HTML的变化而崩溃，或者很难管理和维护。您可以使用Nokogiri快速解析HTML并提取文本:require'nokogiri'h
ruby - 将数组的内容转换为 int - 2
我需要读入一个包含数字列表的文件。此代码读取文件并将其放入二维数组中。现在我需要获取数组中所有数字的平均值，但我需要将数组的内容更改为int。有什么想法可以将to_i方法放在哪里吗？ClassTerraindefinitializefile_name@input=IO.readlines(file_name)#readinfile@size=@input[0].to_i@land=[@size]x=1whilex 最佳答案只需将数组映射为整数:@land边注如果你想得到一条线的平均值，你可以这样做:values=@input[x]
ruby - 将散列转换为嵌套散列 - 2
这道题是thisquestion的逆题.给定一个散列，每个键都有一个数组，例如{[:a,:b,:c]=>1,[:a,:b,:d]=>2,[:a,:e]=>3,[:f]=>4,}将其转换为嵌套哈希的最佳方法是什么{:a=>{:b=>{:c=>1,:d=>2},:e=>3,},:f=>4,} 最佳答案这是一个迭代的解决方案，递归的解决方案留给读者作为练习:defconvert(h={})ret={}h.eachdo|k,v|node=retk[0..-2].each{|x|node[x]||={};node=node[x]}node[
ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2
我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server
ruby - Infinity 和 NaN 的类型是什么？ - 2
我可以得到Infinity和NaNn=9.0/0#=>Infinityn.class#=>Floatm=0/0.0#=>NaNm.class#=>Float但是当我想直接访问Infinity或NaN时:Infinity#=>uninitializedconstantInfinity(NameError)NaN#=>uninitializedconstantNaN(NameError)什么是Infinity和NaN？它们是对象、关键字还是其他东西？最佳答案您看到打印为Infinity和NaN的只是Float类的两个特殊实例的字符串
ruby - 检查方法参数的类型 - 2
我不确定传递给方法的对象的类型是否正确。我可能会将一个字符串传递给一个只能处理整数的函数。某种运行时保证怎么样？我看不到比以下更好的选择:defsomeFixNumMangler(input)raise"wrongtype:integerrequired"unlessinput.class==FixNumother_stuffend有更好的选择吗？最佳答案使用Kernel#Integer在使用之前转换输入的方法。当无法以任何合理的方式将输入转换为整数时，它将引发ArgumentError。defmy_method(number)
ruby - Ruby 有 `Pair` 数据类型吗？ - 2
有时我需要处理键/值数据。我不喜欢使用数组，因为它们在大小上没有限制(很容易不小心添加超过2个项目，而且您最终需要稍后验证大小)。此外，0和1的索引变成了魔数(MagicNumber)，并且在传达含义方面做得很差(“当我说0时，我的意思是head...”)。散列也不合适，因为可能会不小心添加额外的条目。我写了下面的类来解决这个问题:classPairattr_accessor:head,:taildefinitialize(h,t)@head,@tail=h,tendend它工作得很好并且解决了问题，但我很想知道:Ruby标准库是否已经带有这样一个类？最佳
ruby-on-rails - Ruby url 到 html 链接转换 - 2
我正在使用Rails构建一个简单的聊天应用程序。当用户输入url时，我希望将其输出为html链接(即“url”)。我想知道在Ruby中是否有任何库或众所周知的方法可以做到这一点。如果没有，我有一些不错的正则表达式示例代码可以使用... 最佳答案查看auto_linkRails提供的辅助方法。这会将所有URL和电子邮件地址变成可点击的链接(htmlanchor标记)。这是文档中的代码示例。auto_link("Gotohttp://www.rubyonrails.organdsayhellotodavid@loudthinking.
ruby - 查找字符串中的内容类型(数字、日期、时间、字符串等) - 2
我正在尝试解析一个CSV文件并使用SQL命令自动为其创建一个表。CSV中的第一行给出了列标题。但我需要推断每个列的类型。Ruby中是否有任何函数可以找到每个字段中内容的类型。例如，CSV行:"12012","Test","1233.22","12:21:22","10/10/2009"应该产生像这样的类型['integer','string','float','time','date']谢谢! 最佳答案 require'time'defto_something(str)if(num=Integer(str)rescueFloat(s

c++ - 从类类型到类类型的隐式转换

有关c++ - 从类类型到类类型的隐式转换的更多相关文章

随机推荐