草庐IT

c# - F# - 关于传递给 C# 方法的参数 - 它们是元组还是什么？

coder 2023-07-13 原文

我看过很多次

Assemblies generated from F# or any other .NET language are (almost) indistinguishable.

然后我在 .NET 4(测试版 2)上试验 F# 和 C# 互操作。我使用以下类创建了一个新的解决方案和一个 C# 项目:

public class MyClass {
    public static int Add(int a, int b) { return a + b; }
}

然后，在一个 F# 项目上，在引用 C# 项目之后，我尝试:

MyClsas.Add(4, 5) |> printfn "%d" // prints 9 (no kidding!)

到目前为止一切顺利。然后我想到了我读过很多次(可能在不同的书上)的另一句话:

When passing arguments to functions from other .NET libraries, you use a syntax like ".MethodName(parm1, parm2)", that is, the parameters are passed as a Tuple.

将其添加到我曾经在 SO 上阅读过的内容(但无法找到它的链接)，关于 OP 试图创建类似 [ 4, 5, 6 ] 的问题(当他指的是 [4; 5; 6] 时):

"Comma is the 'tuple creating operator', for everything else use semi-colon."

然后我将我的类(class)修改为以下内容:

public class MyClass {
    public static int Add(int a, int b) { return a + b; }
    public static int Add(Tuple<int, int> a) { return a.Item1; }
}

现在我尝试在 F# 上使用它:

MyClass.Add(4, 5) |> printf "%d" // prints ... (keep reading!)

因此，将以上三段引文加起来，可以得出结论:

  • F# 将在看到 (4, 5) 时创建一个元组
  • 然后它将调用重载 Add(Tuple<int, int>)
  • 所以它会打印 4

令我惊讶的是，它打印出了 9。是不是很有趣？

这里到底发生了什么？上面的引述和这种实际观察似乎是矛盾的。您能否证明 F# 的“推理”是合理的，并且如果可能的话可能会指向一些 MSDN 文档？

谢谢!

编辑

(添加更多信息(来自 Blindy 的回答))

如果你这样做:

MyClass.Add((4, 5)) |> printfn "%d" // prints 9

F# 调用 Add(Tuple<int, int>)过载。

但是，如果您使用此创建另一个 F# 项目(因此是一个不同的程序集):

namespace MyFSharpNamespace
type MyFShapClass = class
    static member Add x y = x + y
    end

你可以像这样在 C# 上使用它

public static void Main(string[] args) {
    MyFSharpNamespace.MyFSharpClass.Add(4, 5);
}

到目前为止一切顺利。现在，当您尝试从 F#(从另一个项目、另一个程序集)使用它时，您必须:

MyFSharpNamespace.MyFSharpClass.Add 4 5 |> printfn "%d"

如果您将参数作为 (4, 5) 传递F# 将无法编译，因为 Add是int -> int -> int ，而不是 (int * int) -> int .

发生了什么？!？

最佳答案

When passing arguments to functions from other .NET libraries, you use a syntax like ".MethodName(parm1, parm2)", that is, the parameters are passed as a Tuple.

比这更可怕。请参阅来自 language spec 的方法重载决议海峡的描述.

基本上，它说的是方法调用中的参数并不是真正的元组。这是一个句法元组，意思是用逗号分隔的列表，但是括号是方法调用语法的一部分，逗号也是。这就是为什么，例如 o.M(a=1, b=2)不是带有两个 bool 值元组的方法调用，而是两个命名参数。

因此，通常情况下，每个逗号分隔的组件只映射到一个不同的参数。因此为什么 Add(1, 2)电话 Add(int, int)过载，和Add((1, 2))电话 Add(Tuple<int, int>) .这里没有歧义。

但是，针对您的特定情况的特殊情况是:

If there are no named actual arguments, and there is only one candidate method in M, accepting only one non-optional argument, then the decomposition of arg to tuple form is ignored and there is one named actual arg which is arg itself.

因此，当您删除除元组重载之外的所有重载时，括号内的整个内容突然被有效地视为调用中的元组构造函数。但是如果你愿意有两个重载，Add(int)和 Add(Tuple<int,int>) , 然后是 Add(1,2) 形式的调用根本无法解决。

关于c# - F# - 关于传递给 C# 方法的参数 - 它们是元组还是什么？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/2025845/

c#codeintblockquotef#parameterstuples

有关c# - F# - 关于传递给 C# 方法的参数 - 它们是元组还是什么？的更多相关文章

  1. ruby - 如何使用 Nokogiri 的 xpath 和 at_xpath 方法 - 2

    我正在学习如何使用Nokogiri，根据这段代码我遇到了一些问题:require'rubygems'require'mechanize'post_agent=WWW::Mechanize.newpost_page=post_agent.get('http://www.vbulletin.org/forum/showthread.php?t=230708')puts"\nabsolutepathwithtbodygivesnil"putspost_page.parser.xpath('/html/body/div/div/div/div/div/table/tbody/tr/td/div

  2. ruby - 如何从 ruby​​ 中的字符串运行任意对象方法？ - 2

    总的来说，我对ruby​​还比较陌生，我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础，我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用

  3. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法？ - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

  4. ruby - Facter::Util::Uptime:Module 的未定义方法 get_uptime (NoMethodError) - 2

    我正在尝试设置一个puppet节点，但ruby​​gems似乎不正常。如果我通过它自己的二进制文件(/usr/lib/ruby/gems/1.8/gems/facter-1.5.8/bin/facter)在cli上运行facter，它工作正常，但如果我通过由ruby​​gems(/usr/bin/facter)安装的二进制文件，它抛出:/usr/lib/ruby/1.8/facter/uptime.rb:11:undefinedmethod`get_uptime'forFacter::Util::Uptime:Module(NoMethodError)from/usr/lib/ruby

  5. ruby-on-rails - Rails - 子类化模型的设计模式是什么？ - 2

    我有一个模型:classItem项目有一个属性“商店”基于存储的值，我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式？如果方法中没有大的if-else语句，这是如何干净利落地完成的？ 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.co

  6. Ruby 方法() 方法 - 2

    我想了解Ruby方法methods()是如何工作的。我尝试使用“ruby方法”在Google上搜索，但这不是我需要的。我也看过ruby​​-doc.org，但我没有找到这种方法。你能详细解释一下它是如何工作的或者给我一个链接吗？更新我用methods()方法做了实验，得到了这样的结果:'labrat'代码classFirstdeffirst_instance_mymethodenddefself.first_class_mymethodendendclassSecond使用类#returnsavailablemethodslistforclassandancestorsputsSeco

  7. ruby - 什么是填充的 Base64 编码字符串以及如何在 ruby​​ 中生成它们？ - 2

    我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%

  8. ruby - 解析 RDFa、微数据等的最佳方式是什么，使用统一的模式/词汇(例如 schema.org)存储和显示信息 - 2

    我主要使用Ruby来执行此操作，但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式，例如使用这个yaml文件，它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i

  9. ruby - 为什么 4.1%2 使用 Ruby 返回 0.0999999999999996？但是 4.2%2==0.2 - 2

    为什么4.1%2返回0.0999999999999996？但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意，这不是与Ruby相关的问题，而是与所有编程语言相关的问题，因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返

  10. ruby-on-rails - Rails 3.2.1 中 ActionMailer 中的未定义方法 'default_content_type=' - 2

    我在我的项目中添加了一个系统来重置用户密码并通过电子邮件将密码发送给他，以防他忘记密码。昨天它运行良好(当我实现它时)。当我今天尝试启动服务器时，出现以下错误。=>BootingWEBrick=>Rails3.2.1applicationstartingindevelopmentonhttp://0.0.0.0:3000=>Callwith-dtodetach=>Ctrl-CtoshutdownserverExiting/Users/vinayshenoy/.rvm/gems/ruby-1.9.3-p0/gems/actionmailer-3.2.1/lib/action_mailer

随机推荐