函数调用如何提供编译时类型？
函数调用如何提供编译时类型是通过编程语言的静态类型检查来实现的。静态类型检查是在编译时进行的，它会检查函数调用中传递的参数类型是否与函数定义中的参数类型匹配。
在静态类型语言中，函数定义时会声明参数的类型，例如C++中的函数声明可以指定参数的类型，如void foo(int x, float y)。在函数调用时，编译器会检查传递给函数的参数类型是否与函数定义中声明的类型一致。如果类型不匹配，编译器会发出错误或警告。
静态类型检查的优势在于可以在编译时捕获类型错误，避免在运行时出现类型不匹配的问题，提高代码的健壮性和可靠性。此外，静态类型检查还可以提供更好的代码提示和自动补全功能，提高开发效率。
对于函数调用提供编译时类型的应用场景包括：
- 函数重载：在静态类型语言中，函数可以根据参数类型的不同进行重载，编译器会根据传递的参数类型选择匹配的函数进行调用。
- 类型安全性：静态类型检查可以确保函数调用时传递的参数类型与函数定义中声明的类型一致，避免类型错误导致的运行时异常。
- 性能优化：编译器可以根据函数调用时的类型信息进行优化，例如内联函数、函数指针的优化等。
腾讯云相关产品中与函数调用提供编译时类型相关的产品包括：
相关·内容
1回答
我很难理解泛型函数中的匹配类型是如何快速工作的。我不明白为什么我的代码不编译。
这就是我所拥有的：
enum LoadingState<T> {
case idle
case loading
case failed(Error)
case loaded(T)
}
private func updateInternal(_ state: Int) {
print("=int")
}
private func updateInternal(_ state: String) {
print("=string
浏览 4提问于2021-01-20得票数 1
回答已采纳
我在用FSharp.Data typeproviders。
我想创建一个带有参数的函数，用于设置typeprovider's示例字符串或文件位置。
let SyncIt url sample converter storer =
async {
url
|> MakeRequestAsync
|> Async.RunSynchronously
|> JsonProvider< sample >.Parse
|> Seq.iter (converter >&
浏览 0提问于2013-06-03得票数 4
回答已采纳
1回答
虚拟常数函数是如何实现的？
、、、、
从C++2a开始，虚拟函数现在就可以被使用了。但据我所知，您仍然不能在constexpr上下文中调用任意函数指针。
动态多态通常使用vtable实现，其中包含要调用的函数指针。
此外，使用virtual的动态多态对于调用编译时不知道的类型的重写函数也很有用。例如：
struct A {
virtual void fn() const {
std::cout << 'A' << std::endl;
}
};
void a_or_b(A const& a) {
// The compiler has no
浏览 0提问于2019-05-03得票数 3
回答已采纳
考虑一个函数foo，它接受另一个函数f和未知类型的d数据。如果在函数定义时既不知道f的返回类型，也不知道d的类型，那么如何指定函数声明？也就是说，我如何表达以下几点：
void foo(_ f, _ d) {
// ..
其中，_指示类型的通配符/捕获-所有匹配。
扩展后的另一个问题:如果类型的标识可以是任何内容，是否可以指定它们的类型是相同的？换句话说，_可能是任何类型，但类型需要相同。
浏览 3提问于2016-11-20得票数 1
回答已采纳
换句话说，FunctionN特性有什么用途？它们的存在是为了使编译器知道如何将函数作为第一类值对待吗？也就是说，当一个函数接受另一个函数作为参数时，编译器需要FunctionN来进行类型检查？
我想确保我正确地理解了答案，不幸的是没有足够的声誉点来评论现有的答案。
浏览 2提问于2017-01-17得票数 3
回答已采纳
我的职能如下：
function demo<T>(init: T) {
return init;
}
当省略时，我想给init提供默认值{}。所以我写到：
function demo2<T>(init: T = {}) {
return init;
}
但当然，这给了我一个错误：
Type '{}' is not assignable to type 'T'.
'T' could be instantiated with an arbitrary type which could be unrelate
浏览 2提问于2020-12-09得票数 0
回答已采纳
C++如何确保为堆栈分配的对象调用析构函数？当我按如下方式分配动态内存时，析构函数(或指向它的指针)会发生什么情况：
class MyClass {
public:
~MyClass()
{
std::cout<<"Destructor called."<<std::endl;
}
MyClass()
{
std::cout<<"Constructor called."<<std::endl;
}
};
..............................
浏览 4提问于2009-09-01得票数 2
回答已采纳
我想了解在不定义函数变量的情况下方法是如何工作的。下列情况下的代码：
@ class Box(var x: Int) {
def update(f: Int => Int) = x = f(x)
def printMsg(msg: String) = {
println(msg + x)
现在，如果执行以下调用，就会得到所需的输出：
val b = new Box(1)
b.printMsg("Hello")
Hello1
b.update(i => i + 5)
b.printMsg("Hello")
Hello6
在upd
浏览 1提问于2021-09-24得票数 1
回答已采纳
3回答
接收错误:试图编译时“六”的冲突类型。
void main(){
const int k = 4;
six(&k);
}
float * six(const int *x)
{
float *p = malloc(sizeof(float));
*p = (float)*x;
return p;
}
浏览 3提问于2013-09-03得票数 0
回答已采纳
我从FORTRAN 90代码中调用一个C例程。所有这些都很好，但是我想知道为什么和如何用更少的参数调用C例程，编译器应该不会抱怨。编译器在这里做什么？我正在使用Cray编译器。
test.c
extern "C" void test_(double* x, double* y, double* z){
// do some work
}
driver.F90
MODULE DRIVER
! declare arrays
DOUBLE PRECISION, DIMENSION(dim, dim), INTENT(IN) :: x
DOUBLE PRE
浏览 4提问于2013-07-17得票数 3
回答已采纳
2回答
我正在写一些基本的矩阵函数，我得到了一个错误，我不知道如何诊断。
我的.h文件中有一个函数：
void matrixMultiplication (int arr1[][100], int arr2[][100], int a1row, int a2col, int targetArr[][100]);
在我的.cpp文件中有：
void matrixMultiplication (matrix1, matrix2, rowOfMatrix1, columnOfMatrix2, finalMatrix);
它被定义为
void matrixMultiplication (int arr1
浏览 0提问于2015-11-26得票数 1
回答已采纳
我有两个版本的程序。第一：
template<class T>
void f(T i, T j) = delete;
template<>
void f(int i, int j) {
cout << i << j << endl;
};
int main()
{
f(1.5, 2);
return 0;
}
第二：
template<class T>
void f(T i, T j) = delete;
void f(int i, int j) {
cout << i
浏览 4提问于2020-11-14得票数 2
回答已采纳
1回答
我有一个类似于堆栈溢出问题的用例，我试图使用它而不将结果存储在List<List<String>>中，而是调用它上的stream()。
如果由于类型不匹配而不将其分配给List<List<String>>，则会有一个奇怪的编译时错误。要重现该问题，只需注释掉要输出的任务。
问题是为什么会发生这个编译错误？以及如何修复它？
public static void main(String args[]) {
List<String> input = Arrays.asList("RED", "RED"
浏览 2提问于2022-09-09得票数 2
回答已采纳
2回答
从官方的JavaJDK1.7指南中，我得到了这个引用，但我不明白它是如何工作的。有人能解释吗？换句话说，当钻石传递空字符串时，钻石是如何推断出整数类型的？
MyClass myObject =新MyClass<>("")；
在本例中，编译器为泛型类MyClass的形式类型参数X推断类型Integer。它为这个泛型类的构造函数的形式类型参数T推断类型字符串。
浏览 5提问于2013-10-25得票数 1
回答已采纳
为了提高可读性，我简化了代码。
interface OwnProps<T extends ElementType> {
as?: T;
}
type Props<T extends ElementType> = OwnProps<T> & ComponentPropsWithoutRef<T>;
const Component = <T extends ElementType = 'button'>({as, ...rest}: Props<T>) => {
const T
浏览 6提问于2022-05-25得票数 2
关于ANSI C函数声明，这与旧的K&R风格有什么不同？我知道他们之间的不同之处，我只想知道使用旧风格会产生什么问题，以及新风格是如何改进的。
浏览 6提问于2013-01-09得票数 5
2回答
福克()神秘地包括
、、、
下面是代码(fork.c)，它使用fork()来展示它是如何工作的。
gcc --version显示gcc (Ubuntu 4.8.4-2ubuntu1~14.04.3) 4.8.4
#include <stdio.h>
int num = 0;
int main(int argc, char*argv[]){
int pid;
pid = fork();
if(pid == 0){ /*child*/
num = 1;
}else if(pid > 0){ /*parent*/
nu
浏览 4提问于2017-04-09得票数 0
回答已采纳
假设您有一个指向函数的指针：void(*ptf)(void* arg1, void* arg2);
当您稍后使用圆括号ptf(arg1, arg2);调用ptf时，程序如何知道它是可执行的？我的意思是它只是一个指向内存地址的指针。这可能意味着什么。它怎么知道它是一个函数，而不是其他一些数据？是因为堆栈上有一些元数据吗？或者，是否有某些关键的字符告诉它，可以与数组如何在'\0‘中终止，甚至DNA如何有特殊的开始和结束序列，我认为。
浏览 7提问于2020-12-28得票数 1
回答已采纳
基本上，从0到9的每个数字都是用两个完整的条码和三个半条码编码的，我应该从用户那里接受一组5个数字，并将每个数字转换为各自的条码。
我是个新手，所以这是我最好的尝试。它给我的错误信息是'get_barcode_part‘标识符找不到。所以我不确定如何从这里开始。
浏览 0提问于2016-03-07得票数 0
绑定的一个定义是用内存地址替换函数名。
因此，我假设早期绑定意味着函数调用在编译过程中被替换为内存地址，而对于后期绑定，这种替换发生在运行时？
( b)为什么虚拟方法也被认为是早期绑定的(因此目标方法是在编译时找到的，并创建了调用该方法的代码)？据我所知，使用虚拟方法时，对实际方法的调用仅在运行时解析，而不是编译时？！
萨克斯
编辑：
1)
A a=new A();
a.M();
据我所知，在编译时不知道在堆上(因此在哪个内存地址)将在运行时创建a。现在，在编译过程中，使用早期绑定将函数调用替换为内存地址。但是，如果编译器不知道在运行时在堆上创建对象a的位置(这里我假设方法a.M的地址也将与a
浏览 5提问于2010-03-10得票数 4
3回答
派生类调用虚拟函数的性能？
、、、、
当从已知在编译时为派生类的类调用虚拟方法时，是否存在性能损失？下面我使用派生类显式地调用force_speak。
代码：
#include <iostream>
#include <array>
#include <memory>
class Base
{
public:
virtual void speak()
{
std::cout << "base" << std::endl;
}
};
class Derived1 : public Base
{
public:
void speak
浏览 2提问于2014-12-17得票数 6
回答已采纳
2回答
背景
在课堂上，我做了一个线性链式哈希表。它存储一个链表数组，每当调用get或put时，键就会根据数组大小进行散列和模块化。然后在结果链接列表(我也实现了)上调用get或put。
我有一个ST (符号表)接口。它非常类似于Map，但有些Map所需的操作太混乱，我无法实现。实现这个接口时，我有链接列表、红黑树、线性探测哈希表和线性链式哈希表的实现。
我想做一个类似于线性链式哈希表的东西，它接受任意的委托符号表类型。例如，使用红黑树类型初始化它将生成一个红黑树表，get和put函数将委托给那些红黑树。
我认识到，我的实现几乎肯定比库提供的实现要慢，我最好在实际代码中使用这些实现。我只是试着尝试和学
浏览 8提问于2013-03-24得票数 3
回答已采纳
1回答
一个文件main.c声明一个不完全类型的int func()函数，然后使用它作为int func(void)。
该函数在第二个文件中定义为int func(int, int, int)，它与声明一致，但与使用不一致。
我预计这种错误会被链接器捕获，但是代码编译时没有错误或警告，即使使用gcc的-Wall -Wextra -pedantic也是如此。使用gdb调试它时，func似乎从堆栈中读取垃圾值。真的没有办法抓到这样的错误吗？
所讨论的守则
// main.c
int func();
int main() {
func();
}
// func.c
int func(int a,
浏览 5提问于2022-03-27得票数 2
回答已采纳
2回答
为什么C中的函数声明需要知道指向函数的参数和返回值的类型？
C中的指针声明如下所示：
returnType ( *funcPtrName ) ( paramTypes )
例如，下面的foo：
char my_func ( int x )
{
...
}
int main ()
{
char ( *foo ) ( int );
foo = my_func;
foo( 2 );
}
当声明指向值的指针时，类型用于确定一个元素的大小(以字节为单位)。例如，在int* p中，int告诉编译器p指向的元素是sizeof( int )分开的。此信息用于指针算法。
浏览 1提问于2019-07-30得票数 0
回答已采纳
2回答
η-在纯函数语言中的扩展
、、、
在OCaml中，使用.mli是合法的。
val f : 'a -> 'a
val g : 'a -> 'a
和.ml
let f x = x
let g = f
然而，在F#中，这被拒绝了：
eta_expand.ml(2,5): error FS0034: Module 'Eta_expand' contains
val g : ('a -> 'a)
but its signature specifies
val g : 'a -> 'a
The arit
浏览 3提问于2013-04-05得票数 13
3回答
#include <stdio.h>
int add2nums( int, int);
void main(void)
{
int y,a,b;
printf("Enter 2 numbers\n");
scanf("%d%d", &a, &b);
y = add2nums(a,b);
printf("a is %d\n", a);
printf("b is %d\n", b);
printf("y is %d\n", y);
}
int add
浏览 1提问于2019-05-04得票数 1
回答已采纳
2回答
我希望标题不要混淆。我试图理解在C++中定义类虚拟或非类方法时产生的以下问题。假设我有一个基类A和一个派生类B，这样
class A {
public:
void print() { cout << "A"; }
}
class B : A {
public:
void print() { cout << "B"; }
}
如果我知道执行下面的代码，那么print命令将打印出"A“。
A *a = new A();
B *b = new B();
((A *)b)->print(); // this
浏览 4提问于2015-09-06得票数 0
回答已采纳
假设我必须进行类型转换(从一个类的对象到另一个类的对象)，那么我知道它可以通过两种方式完成。
1-通过在目标端创建构造函数
2-通过使用转换函数(运算符)
因此，我想知道构造函数是如何被调用为构造函数的，只有在创建对象时才调用构造函数，而在我们的情况下，没有创建对象，因为我的对象已经创建了.
例句:那么，假设有两个类测试和基。
void main
test ob1
base ob2
(ob1=ob2) how this statement calls constructor?
我正在将链接附加到我的程序代码上。
浏览 10提问于2015-12-18得票数 0
回答已采纳
2回答
我在重载>>操作符时得到了这个错误，我不知道为什么。
istream& operator>>(istream& stream, unsigned int in)
{
stream >> in;
//manyoperators
if(in>10)
in = -1;
return stream;
}
出现错误的部分代码：
unsigned int tmm;
cin >> tmm;
为什么？我没有其他重载的>>。它可能是什么？
浏览 0提问于2012-12-08得票数 0
回答已采纳
1回答
我没有为我的类提供任何自定义构造函数，我所做的就是禁用复制构造函数：
private:
MyClass(const MyClass& other) = delete; // disable copy ctor
现在，当我试图在堆栈上创建这个类的实例时
MyClass myInstance;
我得到了这样一个编译错误：
main.cpp:16:16: error: no matching function for call to ‘MyClass::MyClass()’
就好像我无意中禁用了默认构造函数一样？或者复制构造函数在那里被调用，我只是不知道是如何调用的。
下面是一个例子
cla
浏览 0提问于2018-02-01得票数 4
回答已采纳
请看下面的例子：
class Base
{
protected:
int m_nValue;
public:
Base(int nValue)
: m_nValue(nValue)
{
}
const char* GetName() { return "Base"; }
int GetValue() { return m_nValue; }
};
class Derived: public Base
{
public:
Derived(int nValue)
: Base(nValue
浏览 0提问于2012-02-16得票数 18
回答已采纳
我用ActionScript编写自己的语言作为个人项目(是的，我想AS3不是构建语言的最佳语言，但没关系)。
注意:我已经检查过几次了，我的编译器的选项“启用严格模式”被设置为True。我试过把它设置为False来尝试，但没有得到不同的结果。
无论如何，我有这样一个：
package NodyCode.Classes
{
public class NCString
{
var value:String;
public function NCString(expression:String = "") {
浏览 3提问于2015-12-24得票数 0
回答已采纳
2回答
今天，Clang试图编译一个程序，给了我一个奇怪的消息。我没有使用C的经验，所以我可能做错了什么，但我实际尝试的代码是：
#include <stdio.h>
#include <stdlib.h>
int sum(a,b);
int main ()
{
printf(sum(1,2));
return 0;
}
int sum (int a, int b)
{
return a + b;
}
正如你可能已经注意到的，在声明函数'sum‘时，我没有包括参数。类型，所以预计会出现错误，但Clang给我的实际消息是：
ind.c:4:9
浏览 0提问于2012-04-14得票数 1
回答已采纳
2回答
将变量强制转换为函数
、、、
根据C语言的标准，传递给函数时的强制转换在C中是自动发生的吗？例如，我们可以给foo (int a，int b)类型char a，b的值吗，或者我们应该这样做: foo ((int) a，(int) b)。
浏览 6提问于2018-12-07得票数 0
3回答
我在书中偶然发现了这样一种说法：
声明静态成员时不必初始化它；如果不声明，C++将调用默认构造函数。
我真搞不懂这是什么意思。他们只谈论对象成员吗？如果是的话，在什么时候调用默认的构造函数？此外，如果没有默认构造函数，如何初始化静态成员对象？
浏览 1提问于2011-09-09得票数 9
回答已采纳
1回答
这是我的代码，注意，我注释了cstr和析构函数
#include <iostream>
#include <stdlib.h>
#include <array>
class MyIntClass
{
int _mymember;
public:
// MyIntClass(){}
// ~MyIntClass(){}
void *operator new(size_t size)
{
std::cout << "new: Allocating " << size <<
浏览 5提问于2020-02-18得票数 0
3回答
class Target {
String name;
int amount;
double weight;
Target (String targetName, int targetAmount, double targetWeight) {
name = targetName;
amount = targetAmount;
weight = targetWeight;
}
}
一个完全任意的构造函数，而不是更大的构造函数的一部分。
假设我在某个地方创建了一个实例，如果输入了错误的参数类型
Target object1 = new
浏览 7提问于2015-02-24得票数 0
回答已采纳
2回答
马洛克混乱
、、
嗨，看完这里的答案后
：，我知道我们不投malloc的原因之一是
铸造malloc是冗余的
但是，我仍然想弄清楚的是，当我们转换malloc函数时，将被抑制的警告。
我也读过的答案，但我有很多疑问
#include<stdio.h>
main()
{
int *a=malloc(20);
}
我理解了答案中的要点，即编译器会认为malloc在尝试将该值赋给int *时返回一个int，这将给我们带来错误，不能从int *转换到int或类似的东西，但基本问题是
在没有stdlib.h的情况下，编译器不会将malloc作为用户定义的函数来处理吗?它不会查找它的声明，并且会给出一些
浏览 7提问于2015-06-09得票数 6
回答已采纳
我的任务是实现我自己的std::ref函数。我知道有一个reference_wrapper函数器，它可以帮助std::ref。但是我如何实现这些函数/类呢？我考虑了以下几点：
template <class T>
struct myreference_wrapper{
T& functor;
myreference_wrapper(T& t):functor(t){}
void operator()('parameter') {
functor('parameter');
};
};
浏览 0提问于2017-04-22得票数 1
2回答
typedef (void (^blockType)());
我需要将具有不同参数类型的块转换为相同类型的blockType，并在以后作为原始类型调用它。但是在铸造块类型时存在一个问题。
以下代码适用于任何参数类型，.
((blockType)^(BOOL b) {
NSLog(@"BOOL: %d", b);
})(YES); // >> BOOL: 1
((blockType)^(int i) {
NSLog(@"int: %d", i);
})(1); // >> int: 1
((blockType)^(doubl
浏览 2提问于2017-01-07得票数 6
回答已采纳
3回答
可能重复：
C++中关于编译器如何决定选择哪个函数的规则是什么？(这是两个同名函数-编译器如何选择/优先处理一个函数和另一个函数，主要是我想知道编译器在选择时更愿意进行哪种类型的转换)
浏览 3提问于2011-11-17得票数 6
回答已采纳
2回答
编辑:添加后续问题，从另一个问题中得到一个解决方案，EDIT2:我刚刚意识到我的后续问题是不需要的。
有可能有一个抽象基类，其类型参数为T，构造函数接受T的参数，并将其赋值给T的属性？我想要实现的是，所有派生类都有一个这样做的构造函数？
类似于：
public abstract class NotificationBase <T>
{
public string Text { get; set; }
public T Context { get; set; }
public NotificationBase(T context, string text
浏览 4提问于2021-01-17得票数 1
回答已采纳
2回答
我对理解GCC内置的函数有困难，觉得很困惑。
库函数和内置函数的区别是什么？是否存在内置函数可以做而库函数不能做的事情？我是否可以编写一个库函数来执行与内置函数printf相同的任务？如何判断输入参数的类型(%f，float或double)?Machine，GCC内置函数的指令没有存储在库中，对吧？它们在哪里？在进行链接时，如何控制将这些内置函数代码放在哪里？为什么在执行链接时有时会出现错误消息，如“未定义的对__builtin_stdarg_start的引用”
// main.c #include <stdio.h> int main(空){ printf("hello
浏览 65提问于2014-05-29得票数 21
回答已采纳
我有类似于以下结构的代码：
#include <iostream>
class base
{
public:
void method();
};
class A:public base
{
public:
void method();
};
void base::method()
{
std::cout << "base method\n";
}
void A::method()
{
std::cout << "A method\n";
}
int main()
{
浏览 1提问于2014-03-16得票数 0
回答已采纳
在java中，要使函数返回与参数类型相同的对象并扩展某个类，我需要键入：
public <T extends MyClass> T foo(T bar) {...}
有与此类似的C++吗？
换句话说，我如何创建一个函数，它接受任何扩展某个类并返回相同类型的类？(这是为了抽象/纯虚拟类)。
浏览 2提问于2015-06-06得票数 28
回答已采纳
1回答
这让我困惑了一段时间:使用printf时，您需要提供formmatters来说明应该如何解释参数，但cout并不需要这样做。cout如何知道根据正确的类型读取变量？
浏览 0提问于2013-06-30得票数 0
可能重复：
C++11引入了默认方法(例如，void myMethod() = default;)。
它对方法做了什么(方法在被default编辑后是如何运行的)。我如何正确使用它们(它的用途是什么)？
浏览 8提问于2012-12-01得票数 10
回答已采纳
1回答
我想知道是否有人熟悉Haskell中的前奏的read函数。
此函数的类型如下所示。
Read a => String -> a
有没有人能举几个例子给我解释一下这个函数是如何使用的，以及字符串可以被转换成什么类型？
谢谢
浏览 27提问于2018-03-05得票数 7
回答已采纳
2回答
我想知道扫描函数是如何实现的。(当然，只是为了好玩)参数的数量是可变的，所以它肯定是由va_list、va_arg宏实现的。
当参数数与格式字符串不匹配时，它还会引发一些警告。这可以通过解析格式字符串并将其与参数数量进行比较来实现。没有魔法。
我唯一看不出是如何实现的，就是类型检查。当参数类型(指向数据的指针)与格式文字中的相应声明不匹配时，scanf将产生警告。如何检查指针指向的数据类型？
示例：
#include<stdio.h>
int main()
{
char buffer1[32], buffer2[32];
int n;
double x;
浏览 3提问于2012-10-15得票数 4
回答已采纳
2回答
我想知道函数如何发出编译时警告？
我想到了这一点，因为当我们在printf (scanf)的第一个参数中为与该类型说明符匹配的变量提供错误的格式说明符，并使用带有-Wall选项的gcc编译时，编译器会发出警告。
现在，printf和scanf是经常实现的各种函数，据我所知，我不知道在编译时检查字符串的值的任何方法，更不用说在不匹配时发出警告了。
有人能解释一下我是怎么得到编译器警告的吗？
浏览 3提问于2015-10-24得票数 11
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
