Должен ли метод вывода аргументов шаблона класса (CTAD) работать внутри модулей? - PullRequest
Новая
       60

Должен ли метод вывода аргументов шаблона класса (CTAD) работать внутри модулей?

4 голосов
/ 24 марта 2020

С учетом следующего модуля 

// mod.cpp
export module mod;

export template<typename T>
struct something
{
    constexpr something(T){}
};


export template<typename T>
constexpr auto make_something(T t)
{
    return something{t}; // uses CTAD
}

Скомпилировано с помощью clang: clang++ -std=c++20 -stdlib=libc++ -fmodules -c -Xclang -emit-module-interface -o mod.pcm mod.cpp

И следующий код приложения: 

import mod;

int main()
{
        constexpr auto x = make_something(7);
}

Скомпилировано с: clang++ -std=c++20 -stdlib=libc++ -fmodules -fimplicit-modules -fimplicit-module-maps -fprebuilt-module-path=. main.cpp

Последнее завершается ошибкой со следующим сообщением об ошибке: 

In file included from main.cpp:1:
mod.cpp:13:12: error: no viable constructor or deduction guide for deduction of template arguments of 'something'
    return something{t}; // uses CTAD
           ^
main.cpp:5:28: note: in instantiation of function template specialization 'make_something<int>' requested here
        constexpr auto x = make_something(7);
                           ^
1 error generated.

Конечно, я могу изменить код модуля и указать параметр шаблона. Однако мне интересно:

Ожидается ли такое поведение для кода модуля или ошибки компилятора?

...