compiler template declaration/definition mismatch error by Mumau

Hi Mumau:
    A fix for this issue has been checked into the compiler sources. The fix should show up in the next release of Visual C++.

Xiang Fan
Visual C++ Team

Hello,

Thank you for reporting this bug. This is indeed our compiler bug for out of line definition of template function with template template parameter list. Some notes in the code below. We will continue investigating this bug and will fix it in a future release.

Thanks,
Ulzii Luvsanbat
Windows C++ Team

template<typename T>
class Compare
{
public:
    bool operator () (T const& left, T const& right) const
    {
        return left < right;
    }
};

template<typename T>
class Node
{
public:
};

template<typename T>
class TreeCore
{
public:
};

template<typename T,
    typename Comp_t = Compare<T>,
    template<typename> class Core_t = TreeCore>
class Tree
{
public:
    typedef Node<T> Node_t;
};

template<typename T>
class TestData
{
public:
};

template<template<typename X1, typename X2, template<typename X3> class> class Tree_t,
         template<typename X4> class Core_t>
class TreeBaseTest
{
public:
    // the compiler does not complain about this method
    template<typename T, typename Comp1_t, typename Comp2_t>
    int verifyContents (Tree_t<T, Comp1_t, Core_t> const& tree, Comp2_t const& comp, TestData<T> const* const pData, size_t count) const;


    // the compiler does not match this decalaration with the definition
    template<typename T, typename BUG>
    int verifyBalance ( typename Tree_t<T, BUG /* HERE!!! It's using wrong template parameter */, Core_t>::Node_t const* pNode, int* pHeightOut) const;

};

template<template<typename, typename, template<typename> class> class Tree_t,
         template<typename> class Core_t>
template<typename T, typename Comp1_t, typename Comp2_t>
int TreeBaseTest<Tree_t, Core_t>::verifyContents ( Tree_t<T, Comp1_t, Core_t> const& tree, Comp2_t const& comp, TestData<T> const* const pData, size_t count) const
{
    return 0;
}


// the compiler does not match this definition with the declaration
template<template<typename X1, typename X2, template<typename X3> class> class Tree_t,
         template<typename X4> class Core_t>
template<typename T, typename Comp_t>
int TreeBaseTest<Tree_t, Core_t>::verifyBalance ( typename Tree_t<T, Comp_t, Core_t>::Node_t const* pNode, int* pHeightOut) const
{
    return 0;
}


int main ()
{
    TreeBaseTest<Tree, TreeCore> treeBaseTest;
    Tree<int> tree;
    TestData<int> testData[1];
    Tree<int>::Node_t node;
    int height;

#if (0)
    // this won't compile due to previous errors
    treeBaseTest.verifyBalance<T, Compare<T> > (&node, &height);
#endif

    return treeBaseTest.verifyContents (tree, Compare<int> (), testData, 0);
}

Thanks for your feedback.

We are rerouting this issue to the appropriate group within the Visual Studio Product Team for triage and resolution. These specialized experts will follow-up with your issue.

Thank you for your feedback, we are currently reviewing the issue you have submitted. If this issue is urgent, please contact support directly(http://support.microsoft.com)