草庐IT

关于 c :在非实例化函数模板中用作默认参数的不存在标识符

codeneng 2023-03-28 原文

Non-existing identifier used as default argument in non-instantiated function template

今天发现一段代码相当于如下:

enum X
{
    x1 = 0,
    x2 = 1
};

template<typename T>
void bar(T obj, X x = x3) { }
//                    ^^
//                    This identifier is bogus!

int main() { }

VC10 和 VC12 都可以愉快地编译它。 clang 3.4 和 GCC 4.8.1 都拒绝它(这是我所期望的)。

这是一个错误,还是标准实际上允许 VC 的行为?如果有,哪些是相关段落?

  • 哇,有趣的是汇编器 VS 为此生成了什么
  • 请注意 - VC 18 (VS 2013) 拒绝此代码。
  • @CaptainObvlious:什么是 VC 18?
  • @AndyProwl VS 附带的编译器版本。
  • @CaptainObvlious:那是 VC12 AFAIK。我正在使用 VS2013,它确实可以编译它。我错过了什么吗?
  • @Andy:运行 cl.exe 时检查"Microsoft C/C Optimizing Compiler"的版本字符串,自从产品名称从"Microsoft C/C"更改为"Microsoft Visual C"之前它一直在增加。 IIRC,Microsoft C/C 达到 7.0 版本,随后是 Visual C 1.0
  • @Ben:啊,谢谢,这澄清了。那么VS2010和VS2013自带的Visual C编译器的正确引用方式是什么?我以为是"VC10"和"VC12"。
  • (不过,我使用的是 VS2013,它确实编译了这个片段)
  • @Andy:VS2012(VS 11.0)带有"Visual C 2012",也是版本 11.0,并使用 Microsoft C/C 编译器 17.0。 DLL 被命名为 MSVCR110,与 Visual Studio 版本号匹配,而不是编译器版本号。我想 17.0 不应该与缩写 VS 或 VC 或 MSVC 配对,但如果你报告一个内部编译器错误,你肯定想要那个版本字符串,可能表示为 CL.EXE 17.00.61030 x86
  • @Ben:"VC12"是指 VS2013 附带的编译器(与 S. T. Lavavej 使用的编号一致,例如此处)。在提到 VC 编译器的某个版本时,我实际上从未见过提到数字 17 或 18(我一直读到"... VC10, VC11, VC12")。可能是时候改变这一点了。


众所周知,VC 没有两阶段查找。这意味着它接受模板中的各种虚假,只要它至少看起来像语法上有效的 C 并且它实际上没有被实例化。

这只是其中一个例子。

正如您在他们的一致性路线图中所看到的,两阶段查找计划在 RTM CTP 之后的某个时间进行,我猜这意味着您将在为 Visual Studio 套件的下一次迭代付费后访问它.

至于标准参考,14.6/9-10 说:

When looking for the declaration of a name used in a template definition, the usual lookup rules (3.4.1, 3.4.2) are used for non-dependent names. [...]

If a name does not depend on a template-parameter (as defined in 14.6.2), a declaration (or set of declarations) for that name shall be in scope at the point where the name appears in the template definition.

  • @Xeo:编译器不再在 Windows SDK 中
  • @BenVoigt:哦,很高兴知道。不过,它仍然可以通过免费的 VS 版本免费获得。
  • @Xeo:是的,并且借助 Visual Studio"多目标支持",也许可以将较新的编译器与较旧但更完整的付费版本一起使用。虽然没有保证。

有关关于 c :在非实例化函数模板中用作默认参数的不存在标识符的更多相关文章

  1. ruby-on-rails - 如何在 ruby​​ 中使用两个参数异步运行 exe? - 2

    exe应该在我打开页面时运行。异步进程需要运行。有什么方法可以在ruby​​中使用两个参数异步运行exe吗?我已经尝试过ruby​​命令-system()、exec()但它正在等待过程完成。我需要用参数启动exe,无需等待进程完成是否有任何ruby​​gems会支持我的问题? 最佳答案 您可以使用Process.spawn和Process.wait2:pid=Process.spawn'your.exe','--option'#Later...pid,status=Process.wait2pid您的程序将作为解释器的子进程执行。除

  2. ruby - RSpec - 使用测试替身作为 block 参数 - 2

    我有一些Ruby代码,如下所示:Something.createdo|x|x.foo=barend我想编写一个测试,它使用double代替block参数x,这样我就可以调用:x_double.should_receive(:foo).with("whatever").这可能吗? 最佳答案 specify'something'dox=doublex.should_receive(:foo=).with("whatever")Something.should_receive(:create).and_yield(x)#callthere

  3. ruby - 如何在 Ruby 中拆分参数字符串 Bash 样式? - 2

    我正在为一个项目制作一个简单的shell,我希望像在Bash中一样解析参数字符串。foobar"helloworld"fooz应该变成:["foo","bar","helloworld","fooz"]等等。到目前为止,我一直在使用CSV::parse_line,将列分隔符设置为""和.compact输出。问题是我现在必须选择是要支持单引号还是双引号。CSV不支持超过一个分隔符。Python有一个名为shlex的模块:>>>shlex.split("Test'helloworld'foo")['Test','helloworld','foo']>>>shlex.split('Test"

  4. ruby - 在没有 sass 引擎的情况下使用 sass 颜色函数 - 2

    我想在一个没有Sass引擎的类中使用Sass颜色函数。我已经在项目中使用了sassgem,所以我认为搭载会像以下一样简单:classRectangleincludeSass::Script::FunctionsdefcolorSass::Script::Color.new([0x82,0x39,0x06])enddefrender#hamlengineexecutedwithcontextofself#sothatwithintemlateicouldcall#%stop{offset:'0%',stop:{color:lighten(color)}}endend更新:参见上面的#re

  5. ruby - 检查方法参数的类型 - 2

    我不确定传递给方法的对象的类型是否正确。我可能会将一个字符串传递给一个只能处理整数的函数。某种运行时保证怎么样?我看不到比以下更好的选择:defsomeFixNumMangler(input)raise"wrongtype:integerrequired"unlessinput.class==FixNumother_stuffend有更好的选择吗? 最佳答案 使用Kernel#Integer在使用之前转换输入的方法。当无法以任何合理的方式将输入转换为整数时,它将引发ArgumentError。defmy_method(number)

  6. ruby-on-rails - 在默认方法参数中使用 .reverse_merge 或 .merge - 2

    两者都可以defsetup(options={})options.reverse_merge:size=>25,:velocity=>10end和defsetup(options={}){:size=>25,:velocity=>10}.merge(options)end在方法的参数中分配默认值。问题是:哪个更好?您更愿意使用哪一个?在性能、代码可读性或其他方面有什么不同吗?编辑:我无意中添加了bang(!)...并不是要询问nobang方法与bang方法之间的区别 最佳答案 我倾向于使用reverse_merge方法:option

  7. ruby - 在 Ruby 中用键盘诅咒数组浏览 - 2

    我正在尝试在Ruby中制作一个cli应用程序,它接受一个给定的数组,然后将其显示为一个列表,我可以使用箭头键浏览它。我觉得我已经在Ruby中看到一个库已经这样做了,但我记不起它的名字了。我正在尝试对soundcloud2000中的代码进行逆向工程做类似的事情,但他的代码与SoundcloudAPI的使用紧密耦合。我知道cursesgem,我正在考虑更抽象的东西。广告有没有人见过可以做到这一点的库或一些概念证明的Ruby代码可以做到这一点? 最佳答案 我不知道这是否是您正在寻找的,但也许您可以使用我的想法。由于我没有关于您要完成的工作

  8. ruby-on-rails - 在 ruby​​ 中使用 gsub 函数替换单词 - 2

    我正在尝试用ruby​​中的gsub函数替换字符串中的某些单词,但有时效果很好,在某些情况下会出现此错误?这种格式有什么问题吗NoMethodError(undefinedmethod`gsub!'fornil:NilClass):模型.rbclassTest"replacethisID1",WAY=>"replacethisID2andID3",DELTA=>"replacethisID4"}end另一个模型.rbclassCheck 最佳答案 啊,我找到了!gsub!是一个非常奇怪的方法。首先,它替换了字符串,所以它实际上修改了

  9. ruby - 在 Ruby 中有条件地定义函数 - 2

    我有一些代码在几个不同的位置之一运行:作为具有调试输出的命令行工具,作为不接受任何输出的更大程序的一部分,以及在Rails环境中。有时我需要根据代码的位置对代码进行细微的更改,我意识到以下样式似乎可行:print"Testingnestedfunctionsdefined\n"CLI=trueifCLIdeftest_printprint"CommandLineVersion\n"endelsedeftest_printprint"ReleaseVersion\n"endendtest_print()这导致:TestingnestedfunctionsdefinedCommandLin

  10. ruby - 定义方法参数的条件 - 2

    我有一个只接受一个参数的方法:defmy_method(number)end如果使用number调用方法,我该如何引发错误??通常,我如何定义方法参数的条件?比如我想在调用的时候报错:my_method(1) 最佳答案 您可以添加guard在函数的开头,如果参数无效则引发异常。例如:defmy_method(number)failArgumentError,"Inputshouldbegreaterthanorequalto2"ifnumbereputse.messageend#=>Inputshouldbegreaterthano

随机推荐