在Julia中，您可以指定可调用函数参数的参数和返回值吗？
在Julia中，您可以使用函数签名来指定可调用函数参数的参数和返回值。函数签名是指函数的输入参数类型和返回值类型的描述。在Julia中，您可以使用类型注释或类型声明来指定函数的参数和返回值类型。
类型注释是在函数定义中使用::符号来指定参数和返回值的类型。例如，下面的代码示例中，函数add接受两个整数参数，并返回它们的和：
function add(x::Int, y::Int)::Int
return x + y
end类型声明是在函数定义之前使用functionname(::Type1, ::Type2)::ReturnType的语法来指定参数和返回值的类型。例如，下面的代码示例中，函数add接受两个整数参数，并返回它们的和：
(::Int, ::Int)::Int add(x, y) = x + yJulia的类型系统非常灵活，允许您使用多态来定义函数，即使参数的具体类型在编译时是未知的。这使得Julia成为一个非常适合科学计算和数值分析的语言。
Julia中的函数签名可以帮助提高代码的可读性和可维护性，并且还可以在编译时进行类型检查，以提高代码的性能。
相关·内容
2回答
用List<>过载java方法
java、collections、overloading
我有代码，其中的方法与List<>参数覆盖。
RetrunType1 func(List<Type1> arg);
ReturnType2 func(List<Type2> arg);
和Type1!=Type2 2，但是这段代码在jdk1.6.0_45上编译和工作都很好。我知道这个示例不编译也不工作。我怎么能理解？
浏览 0提问于2014-12-01得票数 2
回答已采纳
2回答
如何选择重载函数以便在C++中适合？
c++、function、parameters、overloading、optional-parameters
我需要一些帮助来理解编译器如何选择重载的C++函数。
当被赋予某种功能时：
type func(type1 x, type2 y);
type func(type3 x, type2 y);
编译器如何确定要选择哪个函数？
我知道所选择的函数是根据它的适用性来选择的，但是如果这两个函数都可以成功地使用，那么如何知道选择哪一个功能。
例如：
考虑到这些功能，重载函数：
char* average(int i, float f, double d);
double average(double d, float f, int i);
double fabs(double d);
鉴于这些变量：
i
浏览 2提问于2013-12-22得票数 1
回答已采纳
2回答
Kotlin中具有不同类型参数数目的两个函数
kotlin
这两个函数相互冲突。是否有解决此问题的方法？
inline fun <reified T: Any> foo() = ...
inline fun <reified T: Any, reified I: Any> foo() = ...
谢谢!
编辑：
我为这个问题找到了方便的解决方案(至少对我来说)：
inline fun <reified T: Any> foo() = foo<T, MyDefaultType>()
inline fun <reified T: Any, reified I: Any> foo(type1: KC
浏览 4提问于2016-08-02得票数 2
回答已采纳
1回答
lambda函数的类型是什么？
lambda、c++11、anonymous-function、closures、return-type
在C++0x中，我想知道lambda函数的类型是什么。具体地说：
#include<iostream>
type1 foo(int x){
return [x](int y)->int{return x * y;};
}
int main(){
std::cout<<foo(3)(4);//would output 12
type2 bar = foo(5);
std::cout<<bar(6);//would output 30
return 0;
}
我需要用什么来代替第1/2类型，才能让上面的东西起作用？希望您能看到我正在努力完
浏览 1提问于2010-07-01得票数 11
回答已采纳
2回答
使用委托编写一个接受另一个方法作为输入参数的方法，该委托应具有未知数量的参数
c#、delegates
抱歉，我的标题看起来有点冗长和混乱。让我在这里详细解释一下。在我的程序中，我有四个方法。我只是将他们的接口简化为
private static void methodA (Type1 Parameter1, Type2 Parameter2 )
private static void methodB (Type1 Parameter1, Type2 Parameter, Type3 Parameter3 )
private static Type4 methodC (Type1 Parameter1, Type2 Parameter2 )
private static Type4 method
浏览 1提问于2014-08-01得票数 2
1回答
在Julia中，您可以指定可调用函数参数的参数和返回值吗？
types、julia、type-hinting、callable
在Python中，您可以为传递给另一个函数(reference)的可调用对象指定参数和返回值。例如： def foo(
bar: Callable[[str],int], # a function that takes a string as an argument and returns an int
baz: List[str] # a list of strings
) -> List[int]: # returns a list of ints
return [bar(s) for s in baz]
foo(len,["hello&
浏览 9提问于2021-03-30得票数 2
回答已采纳
4回答
F#将(自定义)类型分配给函数
function、types、f#、type-constructor
尽管我在F#方面取得了所有的进步，但我仍然迷失在各种构造函数和解构函数语法中。
我正在运行一个递归模拟。其中一个参数是停止条件的函数。我有各种可能的停车条件可供选择。我让他们都有相同的签名。因此，我决定将这些函数锁定为自定义类型是很好的，也是很有教育意义的--这样就不仅可以发送与签名相匹配的任何函数：
type StoppingCondition = | StoppingCondition of (ReturnType -> ReturnType -> int -> float -> bool)
我认为我这样做是正确的，从教程，有一个类型名称和一个相同的构造函数名称(
浏览 0提问于2016-07-01得票数 4
回答已采纳
2回答
从抽象类继承的类的实例。
c++、templates、inheritance、abstract-class
我必须创建类的实例，它继承了抽象类。我的代码很简单。它应该基于抽象类创建对象类的实例。抽象类也是模板类。然后，我需要将这个对象放入storage类中，该类包含指向对象的指针。仅此而已。这个任务是某种家庭作业。
甚至可以基于抽象类创建类的实例吗？
如果是-我做错什么了？如果没有-我怎么才能让它类似呢？
#include <iostream>
#include <string>
#include <memory>
// using namespace std;
template<typename type1, typename type2, typen
浏览 0提问于2018-01-22得票数 0
回答已采纳
1回答
根据参数中的属性强制执行函数的返回类型
typescript、typescript-typings
如下面的自包含片段( )所示，我希望在基于action参数的returnType支柱的函数上强制执行返回类型。但是，我希望强制执行returnType是该action的正确returnType，而不仅仅是任何action的returnType。向下滚动到片段的底部，查看我的意思:)
// These are from a library
export declare type ActionCreator<T extends string = string> = (
...args: any[]
) => {
type: T;
};
export declare typ
浏览 0提问于2018-10-19得票数 1
回答已采纳
2回答
在变量函数中推导出不同参数包中的两个不同已知类型变量。
c++、c++11、variadic-templates、variadic-functions
我有以下代码：
template <typename... Type1, typename... Type2>
void foo(const Type1&&... t1, Type2&&... t2)
{
int len = sizeof...(Type1);
cout << len << endl;
int len1 = sizeof...(Type2);
cout << len1 << endl;
}
int main()
{
foo(1, 2, 4.5,
浏览 2提问于2015-04-03得票数 0
回答已采纳
3回答
对多个类的C#泛型方法类型约束
c#、generics、linq-to-entities
我有这样的东西：
public List<T> GetPageRows<T>(Expression<Func<T, bool>> predicate, List<ColumnSortOrder> sortOrder, int pageSize, int pageNo) where T : Type1, Type2, Type3
{
var filteredQueryable = GetRowsAndFilter(predicate);
var orderedQueryable = Get
浏览 0提问于2013-05-30得票数 1
回答已采纳
3回答
在C++17上检查非模板类型或模板类型的类型检查函数
c++、c++17、typetraits
我写了类型检查程序函数。它的类型是type1或type2，然后返回true，否则返回false。
这是密码。如我所料。
#include <type_traits>
struct type1{};
struct type2{};
struct type3{};
template <typename T>
constexpr bool is_type1or2() {
return std::is_same_v<T, type1> || std::is_same_v<T, type2>;
}
static_assert(is_type1
浏览 8提问于2022-10-26得票数 5
回答已采纳
3回答
std：：用自定义比较器排序
c++、sorting
在下面的代码中，为什么所有三个IntComparator()、IntComparator2和IntComparator3都作为sort()函数的第三个参数工作？它们不是有不同的l值函数类型吗？基于，它说
比较函数的签名应相当于以下内容：
bool ( const Type1 &a，const Type2 &b)；
哪个看起来更适合IntComparator2？
另外，哪一种更可取？第三种选择似乎更简单、更直观。
#include <iostream>
#include <vector>
#include <algorithm>
#in
浏览 0提问于2019-05-17得票数 16
回答已采纳
1回答
Julia中的函数定义
function、julia、bnf
Julia有明确的函数定义吗？如果是，它的BNF是什么？
例如，它有一个带有BNF的函数声明和函数调用
•Function Declaration
function name ( arguments :: type )
#expressions
End
<function> → (function <identifier> ( <arguments> ) <expressionList> end) |
<identifier>( <arguments> ) <expressionList>
浏览 0提问于2017-09-16得票数 1
3回答
如何在C++中获得可变的函数参数结构？
c++、c
我的问题与C++函数中的参数有关。有时，您可能希望一个函数可以接受不同类型的参数，据我所知，这可以通过两种方式实现。一种是使用C++的新特性:函数重载(多态)，另一种是使用'C‘函数方式，如以下示例所示：
struct type0
{
int a;
};
struct type1
{
int a;
int b;
};
struct type2
{
int a;
int b;
int c;
};
void fun(int type, void *arg_structure)
{
switch (type)
{
浏览 3提问于2012-10-02得票数 1
回答已采纳
1回答
快速泛型。如何指定输出类型？
ios、swift、xcode、generics
例如，我有enum，我想归档的是，每个enum case可以为我提供一些不同的输出类型，比如说一个函数。代码示例： protocol MyType: Codable {
var id: String {get set}
}
struct Type1: MyType {
var id: String
var name:String
}
struct Type2: MyType {
var id: String
var amount: Int
}
enum ReturnType {
case first, second
//Opt
浏览 5提问于2020-03-26得票数 1
1回答
Fortran模块中类型之间的循环依赖关系
module、fortran
我不知道如何在Fortran模块中精确地解决循环依赖。下面的模块使用ifort-2016和gfortran-4.9编译
module types
implicit none
type type1
type(type2), pointer :: t2
end type type1
type type2
type(type1) :: t1
integer :: x
end type type2
end module
但如果我将定义顺序更改为
module types
implici
浏览 1提问于2016-04-27得票数 4
回答已采纳
3回答
将参数传递给不同文件中的函数(gcc)
c、gcc
我在d.c中为int写了一个add函数。然后，我将实数传递给Main.c中的这个add函数。代码如下所示。
如果我在调用它之前声明了add函数，答案是正确的30。但是，如果声明不存在，则答案是不正确的。为什么？
Add.c
int add(int x, int y) { return x + y;}
Main.c
#include<stdio.h>
int add(int, int); // If this does not exist, the answer is not 30.
int main(void) {
printf("%d\n", add(10
浏览 0提问于2018-05-30得票数 2
1回答
Fortran 2003型定界程序重载
oop、fortran、gfortran、fortran2003
我用Java编程已经有几年了；但是，我现在正在学习一门使用Fortran作为示例代码(77标准)的课程。尽管我一直认为Fortran是一种古老的语言，但我决定使用gfortran编译器来尝试2003年标准的最新实现，以了解它的优点。到目前为止，我对现代特性感到惊讶，但我遇到了一个问题，下面的例子演示了这个问题。
module mod1
type type1
real :: x
real :: y
contains
procedure :: compute
end type type1
c
浏览 0提问于2014-01-24得票数 4
回答已采纳
3回答
编译器无法判断哪个字段重复的记录类型应为函数参数类型
f#、record
我的程序有几个字段名相同的记录类型(每个记录类型的含义都不同)。编译器坚持要求与此记录形状匹配的函数参数必须是最后声明的类型，即使我使用明确的字段名声明了record实例，并且总是将一致的类型传递给每个函数。
处理这个问题的合适方法是什么？我知道我可以在函数上添加一个类型注释，但我觉得如果我做的方法正确的话，我应该不需要用类型注释来对抗编译器。
演示问题的最小代码：
type type1 = {x:int}
type type2 = {x:int}
let getX t =
t.x
getX {type1.x=1}
|> ignore
编译器输出：
$ fsharpc --n
浏览 1提问于2014-07-28得票数 1
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
即时通信 IM
ICP备案
对象存储
实时音视频活动推荐
腾讯云开发者
