Thread: Function template with a class template type arg

Hello!

I am trying to write a function template that takes a class template (with non-type arguments), and my brain (and Google) can't seem to find the right syntax for this.

A few lines of code is worth a thousand words, so here is a simplified example:

Code:

#include <iostream>

template <int X, int Y> struct A {};

template<A<int X, int Y>>
void f() { std::cout << X << ", " << Y << std::endl; }

int main() {
    f<A<1, 2>>();
}

How do I make this work?

Error:

Code:

5:24: error: wrong number of template arguments (1, should be 2)
3:32: error: provided for 'template<int X, int Y> struct A'
6:8: error: two or more data types in declaration of 'f'
6:10: error: expected '>' before '{' token
6:10: error: expected unqualified-id before '{' token
 In function 'int main()':
9:5: error: 'f' was not declared in this scope
9:13: error: expected primary-expression before '>' token
9:16: error: expected primary-expression before ')' token

Runnable example: C++ Shell

Thanks!

PS: Not sure if any of the regulars from years ago are still here, but if so, hi! I used to be very active here about 10 years ago... a lot has changed but coming back here is hitting me with nostalgia!

Hey I remember you!

Originally Posted by laserlight

Code:

f<A<1, 2>>();

then why not just write:

Code:

f<1, 2>();

since you always intend the class template to be A?

I am indeed doing something like that, and the reason why I don't want to specify the template parameters directly is because I want to define a bunch of constants that are essentially tuples of the template parameters.

I feel at this point it's probably easier to explain my actual application: this is for the register read/write functions in embedded code. The functions are for reading from / writing to register fields, which are defined by an address, a bit offset, and a bit length.

What I want to do is this:

Code:

template <uint32_t Addr, uint8_t StartBit, uint8_t NumBits> struct Field {};

using FieldA = Field<0xAA, 3, 5>;
using FieldB = Field<0xAB, 5, 7>;
... etc

And I want to be able to use them like:

Code:

uint32_t val = ReadField<FieldA>();

Originally Posted by john.c

It looks like it might work.

Code:

#include <iostream>
 
uint32_t a[2]
{
    0x11223344,  // 00010001 00100010 00110011 01000100
                 //                            ^^^^^    FieldA = 8
    0x55667788   // 01010101 01100110 01110111 10001000
                 //                       ^^^^ ^^^      FieldB = 60
};
 
template <uint32_t Addr, uint8_t StartBit, uint8_t NumBits>
struct Field
{
    constexpr static uint32_t addr{Addr};
    constexpr static uint8_t  startBit{StartBit};
    constexpr static uint8_t  numBits{NumBits};
};
 
using FieldA = Field<0, 3, 5>;
using FieldB = Field<1, 5, 7>;
 
template<typename T>
uint32_t ReadField()
{
    constexpr T v;
    return (a[v.addr] >> v.startBit) & ((1 << v.numBits) - 1);
}
 
int main()
{
    std::cout << ReadField<FieldA>() << '\n';
    std::cout << ReadField<FieldB>() << '\n';
}

Thanks yeah that does work.