Is it possible to have a type say: struct A{B} field::NTuple{N, Int} end Say B is always a number so A{5}, A{7} and so on. Is it possible to specify in the type definition that N depends on B, in some manner e.g: struct A{B} field::NTuple{(B / 64), UInt64} end The above doesn’t work, but hopefu…

As @mauro3 pointed out, that is not possible. But you are able to enforce that by defining a inner constructor: julia> struct A{B,N} field::NTuple{N,Int} function A{B}(x) where {B} N = B÷64 N == length(x) || throw(ArgumentError("Tuple of incorrect length")) …

NTuple length dependent on parameter of type

General Usage

mauro3 November 27, 2017, 3:44pm 2

No, that is not possible. See Algebraic constraints for type parameters.

1 Like

Topic		Replies	Views
Parametric type with a constrained NamedTuple General Usage question , parametric-types , namedtuple	2	620	February 12, 2020
Function signature with tuple argument of a given length General Usage	5	789	October 23, 2017
Correct way to constrain the length of tuples in type definitions? New to Julia	2	549	December 18, 2018
Declare tuple type of arbitrary length New to Julia tuple , dictionary	0	216	June 4, 2024
Get tuple length from type? General Usage type , tuple	19	7154	February 28, 2022

NTuple length dependent on parameter of type

Related topics