Visual Studio 2013 'explicit'关键字错误?

Visual Studio 2013 'explicit' keyword bug?

本文关键字:错误 关键字 explicit Visual Studio 2013      更新时间:2023-10-16

考虑以下程序:

#include <iostream>
class A
{
public:
  A( ) { std::cout << "A()n"; }
  A( A& ) = delete;
  A( int i ) { std::cout << "A( " << i << " )n"; }
  explicit operator int( ) { std::cout << "operator int()n"; return 42; }
};
template< typename T = A > void f( T a = A() ) {}
int main( void )
{
  f();
  return 0;
}

Visual Studio 2013编译此代码并运行,输出

A()
operator int()
A( 42 )

这是编译器错误吗?在这个上下文中,VS编译器似乎没有注意到"explicit"关键字。据我所知,VS 2013错误地将运算符int()与A(int)组合使用,将"复制构造"A作为f的默认参数。

均添加

A a;
A a1( a );

到main并声明f为

void f( A a = A() ) {}

不编译,VS抱怨A(A&)被删除,这似乎是正确的行为。只有在函数模板默认参数的上下文中,运算符int()和A(int)的组合似乎可以替代A(A&)。

g++4.7.3没有编译代码并抱怨:

main.cpp: In function ‘int main()’:
main.cpp:21:7: error: no matching function for call to ‘A::A(A)’
main.cpp:21:7: note: candidates are:
main.cpp:10:3: note: A::A(int)
main.cpp:10:3: note:   no known conversion for argument 1 from ‘A’ to ‘int’
main.cpp:6:3: note: A::A()
main.cpp:6:3: note:   candidate expects 0 arguments, 1 provided

删除"explicit"将使g++编译代码,并且输出相同。

这绝对是Visual C++中的一个bug。根据标准:

12.3.2转换功能[class.conv.fct]

2-转换函数可以是显式的(7.1.2),在这种情况下仅被视为直接初始化的用户定义转换(8.5)在某些情况下(13.3.1.4、13.3.1.5、13.3.1.6)。

并且在您的示例中没有直接初始化。

其他C++编译器,如GCC和Clang,在这种情况下会报告一个错误。

在VS论坛中长大:

http://social.msdn.microsoft.com/Forums/vstudio/en-US/af733e56-8045-4553-a9af-6555d02fc2f6/bug-in-vs-2013-support-for-explicit-conversion-operators?forum=visualstudiogeneral

并将其报告为错误:

http://connect.microsoft.com/VisualStudio/feedback/details/811334/bug-in-vs-2013-support-for-explicit-conversion-operators