Table of Contents
Correct Answer
Home Backend Development Golang Golang generics - cannot use type instead of same type when passing function pointer

Golang generics - cannot use type instead of same type when passing function pointer

Feb 06, 2024 am 10:33 AM
Compile Error

Golang 泛型 - 在传递函数指针时不能使用类型代替相同类型

Question content

I am new to golang and I am studying the following structure:

<code>type Flag[T any] struct {
    defaultValue interface{}
}
</code>
Copy after login

where T can be int or bool

I defined the following functions:

<code>func (f Flag[T]) GetVariation(val interface{}, getFunc func(v T) T ) T {
    inputVal := f.defaultValue.(T)

    return getFunc(inputVal)
}
</code>
Copy after login

When I try to use the above function for various data types such as bool, using the following:

<code>func (f Flag[bool]) GetBoolVariation(val bool) bool {
    return f.GetVariation(val, someFunc)
}

func someFunc(v bool) bool {
    return true
}
</code>
Copy after login

I receive the following error message:

cannot use someFunc (value of type func(v bool)  bool) as func(v bool) bool value in argument to f.GetVariation
Copy after login

The message is very confusing because it says I can't use "X" as "X". Can you help me figure out what I'm doing wrong here?


Correct Answer


First of all, it's hard to gauge your larger use case here, but generics might not be the best fit here since you're doing runtime type checking (For example f.defaultValue.(T)).

Second, you appear to be using go 1.20, which does produce a confusing error:

https://www.php.cn/link/63e8e3643e7f7198858eef325b0600f9

cannot use someFunc (value of type func(v bool) bool) as func(v bool) bool value in argument to f.GetVariation
Copy after login

Using the latest Playground version (go 1.21 as of this writing) gives a more detailed compilation error:

https://www.php.cn/link/2d1bcedd27b586d2a9562a0f8e076b41

./prog.go:14:29: cannot use someFunc (value of type func(v bool) bool) as func(v bool /* with bool declared at ./prog.go:13:14 */) bool /* with bool declared at ./prog.go:13:14 */ value in argument to f.GetVariation
Copy after login

Indicates the type bool The specified position (./prog.go:13:14) results from the type constraint.

Therefore, just because this type constraint bool matches a non-generic function signature:

func someFunc(v bool) bool {
    return true
}
Copy after login

does not mean it is an exact compilation match.

You can use this contrived example to "solve" compilation errors:

func someFuncFix[T any](v T) T {
    return v
}

func (f Flag[bool]) GetBoolVariation(val bool) bool {
    return f.GetVariation(val, someFuncFix[bool])

    // FYI: `return f.GetVariation(val, someFuncFix)` also works as the bool constraint could be inferred
}
Copy after login

But again, I think generics may not be the best solution for your specific use case.

The above is the detailed content of Golang generics - cannot use type instead of same type when passing function pointer. For more information, please follow other related articles on the PHP Chinese website!

Statement of this Website
The content of this article is voluntarily contributed by netizens, and the copyright belongs to the original author. This site does not assume corresponding legal responsibility. If you find any content suspected of plagiarism or infringement, please contact admin@php.cn

Hot AI Tools

Undresser.AI Undress

Undresser.AI Undress

AI-powered app for creating realistic nude photos

AI Clothes Remover

AI Clothes Remover

Online AI tool for removing clothes from photos.

Undress AI Tool

Undress AI Tool

Undress images for free

Clothoff.io

Clothoff.io

AI clothes remover

Video Face Swap

Video Face Swap

Swap faces in any video effortlessly with our completely free AI face swap tool!

Hot Tools

Notepad++7.3.1

Notepad++7.3.1

Easy-to-use and free code editor

SublimeText3 Chinese version

SublimeText3 Chinese version

Chinese version, very easy to use

Zend Studio 13.0.1

Zend Studio 13.0.1

Powerful PHP integrated development environment

Dreamweaver CS6

Dreamweaver CS6

Visual web development tools

SublimeText3 Mac version

SublimeText3 Mac version

God-level code editing software (SublimeText3)

Detailed explanation of C++ function inheritance: How to use 'base class pointer' and 'derived class pointer' in inheritance? Detailed explanation of C++ function inheritance: How to use 'base class pointer' and 'derived class pointer' in inheritance? May 01, 2024 pm 10:27 PM

In function inheritance, use "base class pointer" and "derived class pointer" to understand the inheritance mechanism: when the base class pointer points to the derived class object, upward transformation is performed and only the base class members are accessed. When a derived class pointer points to a base class object, a downward cast is performed (unsafe) and must be used with caution.

How to run C language in notepad++ How to run C language in notepad++ Apr 08, 2024 am 10:06 AM

Notepad++ itself cannot run C language programs and requires an external compiler to compile and execute the code. In order to use an external compiler, you can follow the following steps to set it up: 1. Download and install the C language compiler; 2. Create a custom tool in Notepad++ and configure the compiler executable file path and parameters; 3. Create the C language program and save it with a .c file extension; 4. Select the C language program file and select a custom tool from the "Run" menu to compile; 5. View the compilation results and output a compilation error or success message. If the compilation is successful, an executable file will be generated.

Which key to press when running python code in sublime Which key to press when running python code in sublime Apr 03, 2024 pm 03:54 PM

The shortcut keys for running Python code in Sublime Text are: Windows and Linux: Ctrl + BMac: Cmd + B Place the cursor in the code. Press the shortcut key. The code will be run using the system's default Python interpreter.

What does val mean in java What does val mean in java Apr 25, 2024 pm 10:06 PM

The val keyword in Java is used to declare an immutable local variable, i.e. its value cannot be changed once assigned. Features are: Immutability: Once initialized, the val variable cannot be reassigned. Local scope: val variables are only visible within the block of code in which they are declared. Type inference: The Java compiler will infer the type of the val variable based on the assigned expression. Local variables only: val can only be used to declare local variables, not class fields or method parameters.

The difference between const and static in c++ The difference between const and static in c++ May 01, 2024 am 10:54 AM

The const modifier indicates a constant and the value cannot be modified; the static modifier indicates the lifetime and scope of the variable. Data members modified by const cannot be modified after initialization. Variables modified by static are initialized when the program starts and destroyed when the program ends. They will exist even if there is no active object and can be accessed across functions. Local variables modified by const must be initialized when declared, while local variables modified by static can be initialized later. Const-modified class member variables must be initialized in the constructor or initialization list, and static-modified class member variables can be initialized outside the class.

What does = mean in java What does = mean in java Apr 26, 2024 pm 11:30 PM

The "=" operator in the Java programming language is used to assign a value to a variable, storing the value on the right side of the expression in the variable on the left. Usage: variable = expression, where variable is the name of the variable that receives the assignment, and expression is the code segment that calculates or returns the value.

How to bring up the eclipse navigation bar How to bring up the eclipse navigation bar May 05, 2024 pm 07:12 PM

The Eclipse navigation bar can be displayed via the menu: Window > Show View > Navigation Shortcut key: Ctrl + 3 (Windows) or Cmd + 3 (Mac) Right-click the workspace > Show View > Navigation The navigation bar contains the following functions: Project Resource Browser: Shows folders and files Package Resource Browser: Shows Java package structure Problem View: Shows compilation errors and warnings Task View: Shows tasks Search field: Searches for code and files Bookmark View: Marks lines of code for quick access

What does eclipse mean when it says that the main class cannot be loaded? What does eclipse mean when it says that the main class cannot be loaded? May 05, 2024 pm 07:09 PM

Solution to the "Error: Could not find or load main class" error in Eclipse: Check whether the main class exists and the path is correct. Verify that the main class is in the correct package and that public access allows Eclipse access. Check the classpath configuration to ensure that Eclipse can find the class file for the main class. Compile and fix the error that caused the main class to fail to load. Check the stack trace to identify the source of the problem. Compile from the command line using the javac command and check the error messages. Restart Eclipse to resolve potential issues.

See all articles