Search in an onion of class [duplicate]

Question

Given an integer template parameter Key, the search method should extract a layer of the onion that has key == Key during compilation.

How to fix the search method?

Test (also at godbolt.org)

#include <iostream>

class A {
public:
    static constexpr int key = 0;
    template<int s>
    constexpr auto& search() const { return *this; }
};

template<class P>
class B {
public:
    static constexpr int key = P::key + 1;
    template <int Key>
    constexpr auto& search() const {
        if constexpr (Key == key) return *this;
        return p_.search<Key>();
    }
    P p_;
};

int main() {
    B<B<B<B<A>>>> onion;
    std::cout << onion.search<1>().key << "\n";
    return 0;
}

Error:

error: expected primary-expression before ‘)’ token
         return p_.search<Key>();
                               ^

Answer 1

You need template disambiguator for dependent name:

constexpr auto& search() const {
    if constexpr (Key == key) {
        return *this;
    } else {
        return p_.template search<Key>();
                  ^^^^^^^^
    }
}