クラステンプレート内の非型メンバ関数テンプレートの実装方法

Question

前提・実現したいこと

クラステンプレート内で宣言 (using) した型をテンプレート引数にとる非型メンバ関数テンプレートを実装したいです。
下記コードの void method3()、void method4() が実装したいメンバ関数です。

// main.h

template <typename T>
struct A {
    
    // クラステンプレート内のメンバ関数テンプレート
    template <typename S>
    void method1();
    
    // クラステンプレート内の非型テンプレートメンバ関数
    template <size_t N>
    void method2();
    
    // クラステンプレート内で宣言した型をテンプレート引数とする非型テンプレートメンバ関数
    using size_type1 = size_t;
    template <size_type1 N>
    void method3();
    
    // クラステンプレート内で宣言したTに依存する型をテンプレート引数とする非型テンプレートメンバ関数
    using size_type2 = typename T::size_type;
    template <size_type2 N>
    void method4();
    
};

実装コード

// main.cc

#include <iostream>
#include "main.h"

#define show() (std::cout << __func__ << std::endl)

template <typename T>
template <typename S>
void A<T>::method1() { show(); }

template <typename T>
template <size_t N>
void A<T>::method2() { show(); }

template <typename T>
template <typename A<T>::size_type1 N>
void A<T>::method3() { show(); }

template <typename T>
template <typename A<T>::size_type2 N>
void A<T>::method4() { show(); }

struct I { using size_type = size_t; };

int main() {
    A<I> a;
    a.method1<int>();
    a.method2<10>();
    a.method3<10>();
    a.method4<10>();
    return 0;
}

発生している問題・エラーメッセージ

Visual Studio Community 2019 (ver.16.3.7) では以下のエラーが表示され、コンパイルできませんでした。
コンパイルできるようにするにはどうしたらよいでしょうか？

E0147	宣言に 関数テンプレート "void A<T>::method3<N>()" との互換性がありません
E0147	宣言に 関数テンプレート "void A<T>::method4<N>()" との互換性がありません

試したこと

g++ では普通にコンパイルできました。

$ g++ -std=c++17 main.cc && ./a
method1
method2
method3
method4

補足情報（FW/ツールのバージョンなど）

> cl
Microsoft(R) C/C++ Optimizing Compiler Version 19.23.28106.4 for x86
Copyright (C) Microsoft Corporation.  All rights reserved.

$ g++ --version
g++.exe (Rev1, Built by MSYS2 project) 8.3.0
Copyright (C) 2018 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Answer 1

こんにちは。

VC++の問題っぽいですね。プライマリー・テンプレートはクラス内で定義できますので、クラス内で定義してみては如何でしょうか？