Skip to main content
本文に 19 文字追加
ソース リンク
cubick
  • 2.1万
  • 5
  • 27
  • 64

下記のコードで1.の方はコンパイルが通りますが、2.の方はコンパイルエラーとなります。
普通に考えれば推論可能な気がしますが、これはコンパイラのバグでしょうか?

それともそもそもインナークラスとアウタークラスのパラメータパックに関しては推論が働かないのでしょうか?

OSはWindows、コンパイラはMSVCを利用しています。

エラーメッセージ

テンプレートパラメータ'U'はテンプレートパラメータパックの後に続いており
'func'の関数パラメータから推測できないため、使用できません

ソースコード

#include <type_traits>

// 1.複数可変長templateパラメータ関数の推論

template<typename... T> class Class {
};

template<typename... T1, typename... T2> 
void func(const Class<T1...>&, const Class<T2...>&) {
}

// 2.インナークラスを伴う複数可変長templateパラメータ関数の推論

template<typename... T> class Outer {
public:
    template<typename... U> class Inner {
    };
};

template<typename... T, typename... U> 
void func(const typename Outer<T...>::template Inner<U...>&) {  // error!
}

int main() {

    // 1.
    Class<int, int> a, b;
    func(a, b);

    // 2.
    Outer<int, int>::Inner<int, int> c;
    func(c);    // error!

    return 0;
}

上記のコードで1.の方はコンパイルが通りますが、2.の方はコンパイルエラーとなります。
エラーメッセージには、「テンプレートパラメータ'U'はテンプレートパラメータパックの後に続いており'func'の関数パラメータから推測できないため、使用できません」と表示されますが、普通に考えれば推論可能な気がしてます。
これは、コンパイラのバグでしょうか?
それともそもそもインナークラスとアウタークラスのパラメータパックに関しては推論が働かないのでしょうか?

OSはWindows、コンパイラはMSVCを利用しています。

#include <type_traits>

// 1.複数可変長templateパラメータ関数の推論

template<typename... T> class Class {
};

template<typename... T1, typename... T2> 
void func(const Class<T1...>&, const Class<T2...>&) {
}

// 2.インナークラスを伴う複数可変長templateパラメータ関数の推論

template<typename... T> class Outer {
public:
    template<typename... U> class Inner {
    };
};

template<typename... T, typename... U> 
void func(const typename Outer<T...>::template Inner<U...>&) {  // error!
}

int main() {

    // 1.
    Class<int, int> a, b;
    func(a, b);

    // 2.
    Outer<int, int>::Inner<int, int> c;
    func(c);    // error!

    return 0;
}

上記のコードで1.の方はコンパイルが通りますが、2.の方はコンパイルエラーとなります。
エラーメッセージには、「テンプレートパラメータ'U'はテンプレートパラメータパックの後に続いており'func'の関数パラメータから推測できないため、使用できません」と表示されますが、普通に考えれば推論可能な気がしてます。
これは、コンパイラのバグでしょうか?
それともそもそもインナークラスとアウタークラスのパラメータパックに関しては推論が働かないのでしょうか?

OSはWindows、コンパイラはMSVCを利用しています。

下記のコードで1.の方はコンパイルが通りますが、2.の方はコンパイルエラーとなります。
普通に考えれば推論可能な気がしますが、これはコンパイラのバグでしょうか?

それともそもそもインナークラスとアウタークラスのパラメータパックに関しては推論が働かないのでしょうか?

OSはWindows、コンパイラはMSVCを利用しています。

エラーメッセージ

テンプレートパラメータ'U'はテンプレートパラメータパックの後に続いており
'func'の関数パラメータから推測できないため、使用できません

ソースコード

#include <type_traits>

// 1.複数可変長templateパラメータ関数の推論

template<typename... T> class Class {
};

template<typename... T1, typename... T2> 
void func(const Class<T1...>&, const Class<T2...>&) {
}

// 2.インナークラスを伴う複数可変長templateパラメータ関数の推論

template<typename... T> class Outer {
public:
    template<typename... U> class Inner {
    };
};

template<typename... T, typename... U> 
void func(const typename Outer<T...>::template Inner<U...>&) {  // error!
}

int main() {

    // 1.
    Class<int, int> a, b;
    func(a, b);

    // 2.
    Outer<int, int>::Inner<int, int> c;
    func(c);    // error!

    return 0;
}

ソース リンク

複数のテンプレートパラメータパックを持つ関数の推論に関して

#include <type_traits>

// 1.複数可変長templateパラメータ関数の推論

template<typename... T> class Class {
};

template<typename... T1, typename... T2> 
void func(const Class<T1...>&, const Class<T2...>&) {
}

// 2.インナークラスを伴う複数可変長templateパラメータ関数の推論

template<typename... T> class Outer {
public:
    template<typename... U> class Inner {
    };
};

template<typename... T, typename... U> 
void func(const typename Outer<T...>::template Inner<U...>&) {  // error!
}

int main() {

    // 1.
    Class<int, int> a, b;
    func(a, b);

    // 2.
    Outer<int, int>::Inner<int, int> c;
    func(c);    // error!

    return 0;
}

上記のコードで1.の方はコンパイルが通りますが、2.の方はコンパイルエラーとなります。
エラーメッセージには、「テンプレートパラメータ'U'はテンプレートパラメータパックの後に続いており'func'の関数パラメータから推測できないため、使用できません」と表示されますが、普通に考えれば推論可能な気がしてます。
これは、コンパイラのバグでしょうか?
それともそもそもインナークラスとアウタークラスのパラメータパックに関しては推論が働かないのでしょうか?

OSはWindows、コンパイラはMSVCを利用しています。