{"id":104239,"date":"2020-09-18T07:00:45","date_gmt":"2020-09-18T14:00:45","guid":{"rendered":"https:\/\/devblogs.microsoft.com\/oldnewthing\/?p=104239"},"modified":"2020-09-18T06:55:23","modified_gmt":"2020-09-18T13:55:23","slug":"i-get-a-weird-error-about-no-matching-function-when-i-try-to-use-winrtcapture","status":"publish","type":"post","link":"https:\/\/devblogs.microsoft.com\/oldnewthing\/20200918-45\/?p=104239","title":{"rendered":"I get a weird error about no matching function when I try to use winrt::capture"},"content":{"rendered":"

Last time, we looked at using the C++\/WinRT capture<\/code> to call COM ABI methods from C++\/WinRT<\/a>. But sometimes, you follow the cookbook to the letter, and it still fails:<\/p>\n

winrt::com_ptr<IServiceProvider> provider = ...;\r\n\r\nauto top = winrt::capture<IShellBrowser>\r\n    (provider, &IServiceProvider::QueryService, SID_STopLevelBrowser);\r\n<\/pre>\n
Here, we are asking capture<\/code> to invoke the QueryService<\/code> method on the provided IServiceProvider<\/code>, passing SID_STopLevelBrowser<\/code> as the first parameter, and passing a REFIID<\/code> + void**<\/code> pair as the second and third parameters.<\/p>\n
And yet, when you try it, you get these strange errors. From the Microsoft compiler:<\/p>\n
error C2672: 'capture': no matching overloaded function found\r\nerror C2783: 'void capture(F,Args &&...)': could not deduce template argument for 'F'\r\n<\/pre>\n
Somehow, the Microsoft compiler thinks we’re trying to use the functor overload.<\/p>\n
From clang:<\/p>\n
error: no matching function for call to 'capture'\r\n    auto top = winrt::capture<IShellBrowser>\r\n               ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~\r\nnote: candidate template ignored: couldn't infer template argument 'O'\r\n    auto capture(com_ptr<O> const& object, M method, Args&&...args)\r\n         ^\r\nnote: candidate template ignored: substitution failure [with T = IShellBrowser, F = winrt::com_ptr<IServiceProvider>]: deduced incomplete pack <(no value), const GUID &> for template parameter 'Args'\r\n        auto capture(F function, Args&&...args)\r\n             ^\r\n<\/pre>\n
The gcc compiler says<\/p>\n
error: no matching function for call to 'capture<IShellBrowser>(winrt::com_ptr<IServiceProvider>&, <unresolved overloaded function type>, const GUID&)'\r\n    (provider, &IServiceProvider::QueryService, SID_STopLevelBrowser);\r\n                                                                    ^\r\nnote: candidate: 'auto winrt::capture(F, Args&& ...) [with T = IShellBrowser; F = winrt::com_ptr<IServiceProvider>; Args = {}]'\r\n    auto capture(F function, Args&&...args)\r\n         ^~~~~~~\r\nnote:   candidate expects 1 argument, 3 provided\r\n\r\nnote: candidate: 'template<class T, class O, class M, class ... Args> auto winrt::capture(const winrt::com_ptr<O>&, M, Args&& ...)'\r\n    auto capture(com_ptr<O> const& object, M method, Args&&...args)\r\n         ^~~~~~~\r\nnote:   template argument deduction\/substitution failed:\r\nnote:   couldn't deduce template parameter 'M'\r\n    (provider, &IServiceProvider::QueryService, SID_STopLevelBrowser);\r\n<\/pre>\n
What’s going on?<\/p>\n
The Microsoft compiler’s error message is least helpful. It looks like the Microsoft compiler has selected the functor overload for some reason, but then it rejects the functor because it can’t deduce the first parameter type F<\/code>. But our first parameter is provider<\/code>, which should be easily deduced to a winrt::com_ptr<IServiceProvider><\/code>.<\/p>\n
It all makes no sense. And why is it not using the overload we want?<\/p>\n
The clang error at least tried both overloads, but for the first overload it deduced Args = {}<\/code>, which is strange because we passed a total of three arguments, so the last two should end up in the Args<\/code>. It somehow just lost those arguments in the cushions of the couch or something.<\/p>\n
The failed application of the second overload has an enigmatic phrase “deduced incompete pack \u2329(no value), const GUID &<\/code>\u232a for template parameter ‘Args<\/code>‘”. Somehow, it thinks that &IServiceProvider::QueryService<\/code> has no value?<\/p>\n
The gcc error steers us closer to the root cause when it mentions in its error message that the parameter list that it saw was<\/p>\n
capture<IShellBrowser>(winrt::com_ptr<IServiceProvider>&, <unresolved overloaded function type>, const GUID&)\r\n<\/pre>\n
Unresolved overloaded function type. That’s strange. Let’s take a closer look at IServiceProvider<\/code>. Here it is, after removing a bunch of RPC and other macro noise:<\/p>\n
MIDL_INTERFACE(\"6d5140c1-7436-11ce-8034-00aa006009fa\")\r\nIServiceProvider : public IUnknown\r\n{\r\npublic:\r\n    virtual HRESULT QueryService( \r\n        REFGUID guidService,\r\n        REFIID riid,\r\n        void **ppvObject) = 0;\r\n    \r\n    template <class Q>\r\n    HRESULT QueryService(REFGUID guidService, Q** pp)\r\n    {\r\n        return QueryService(guidService, __uuidof(Q), (void **)pp);\r\n    }\r\n};\r\n<\/pre>\n
Holy cow, somebody added a “helpful” overload of IServiceProvider::QueryService<\/code> that takes only two parameters and manufactures the missing REFIID<\/code> parameter.<\/p>\n
That’s why we are getting an error: The expression &IServiceProvider::QueryService<\/code> is ambiguous because it could be referring to the three-parameter method, or it could be referring to an entire family of templated methods (which in turn need to be specialized).<\/p>\n
Sometimes being helpful backfires.\u00b9<\/p>\n
To be fair, this helpful method was added because the IID_PPV_ARGS<\/code> helper macro hadn’t yet been invented. Nowadays, people just write<\/p>\n
serviceProvider->QueryService(guidService, IID_PPV_ARGS(&q));\r\n<\/pre>\n
and don’t even realize that there’s a helper method available to them.<\/p>\n
One way to work around this unwanted helper is to resolve the ambiguity explicitly:<\/p>\n
auto top = winrt::capture<IShellBrowser>\r\n    (provider,\r\n     static_cast<HRESULT (STDMETHODCALLTYPE IServiceProvider::*)(REFGUID, REFIID, void**)>\r\n         (&IServiceProvider::QueryService),\r\n     SID_STopLevelBrowser);\r\n<\/pre>\n
This is, however, a horrible monstrosity of a cast.<\/p>\n
One option is to use a helper lambda.<\/p>\n
auto top = winrt::capture<IShellBrowser>(\r\n     [](auto&& provider, auto&&... args) { return provider->QueryService(args...); },\r\n     provider,\r\n     SID_STopLevelBrowser);\r\n<\/pre>\n
If you’re going to be doing this a lot, you can write a helper function:<\/p>\n
inline HRESULT CapturableQueryService(\r\n    IServiceProvider* provider,\r\n    REFGUID service,\r\n    REFIID riid,\r\n    void**ppv)\r\n{\r\n    return provider->QueryService(service, riid, ppv);\r\n}\r\n\r\nauto top = winrt::capture<IShellBrowser>(CapturableQueryService, provider.get(), SID_STopLevelBrowser);\r\n<\/pre>\n
In fact, there’s a prewritten function that comes with the system that is basically this:  IUnknown_QueryService<\/code><\/a>. The IUnknown_QueryService<\/code> function is more general, because it accepts an IUnknown*<\/code> as its first parameter and will perform the QueryInterface<\/code> to IServiceProvider<\/code>.<\/p>\n
Finally, in what might be the simplest option, you can give the result of that monster cast a name and let everybody use that name.<\/p>\n
inline constexpr HRESULT (STDMETHODCALLTYPE IServiceProvider::*ServiceProviderQueryServiceMethod)(REFGUID, REFIID, void**)\r\n    = &IServiceProvider::QueryService;\r\n\r\nauto top = winrt::capture<IShellBrowser>\r\n    (provider, ServiceProviderQueryServiceMethod, SID_STopLevelBrowser);\r\n<\/pre>\n
\u00b9 The IUnknown<\/code> and IAgileReference<\/code> interfaces have the same problem:<\/p>\n
MIDL_INTERFACE(\"00000000-0000-0000-C000-000000000046\")\r\nIUnknown\r\n{\r\npublic:\r\n    virtual HRESULT QueryInterface(\r\n                REFIID riid,\r\n                void **ppvObject) = 0;\r\n    virtual ULONG AddRef(void) = 0;\r\n    virtual ULONG Release(void) = 0;\r\n\r\n    template<class Q> \r\n    HRESULT\r\n    QueryInterface(Q** pp)\r\n    {\r\n        return QueryInterface(__uuidof(Q), (void **)pp);\r\n    }<\/span>\r\n};                                                                            \r\n\r\nMIDL_INTERFACE(\"C03F6A43-65A4-9818-987E-E0B810D2A6F2\")\r\nIAgileReference : public IUnknown\r\n{\r\npublic:\r\n    virtual HRESULT Resolve(\r\n                REFIID riid,\r\n                void **ppvObjectReference) = 0;\r\n\r\n    template<class Q> \r\n    HRESULT Resolve(_COM_Outptr_ Q** pp)\r\n    {\r\n        return Resolve(__uuidof(Q), (void **)pp);\r\n    }<\/span>\r\n};\r\n<\/pre>\n
However, you are unlikely to run into problems with these interfaces in C++\/WinRT code, because C++\/WinRT already provides native support for IUnknown<\/code> (via com_ptr<\/code>) and IAgileReference<\/code> (via agile_ref<\/code>), so you’re not going to have to drop to the ABI to use them.<\/p>\n","protected":false},"excerpt":{"rendered":"
The confusing error message strikes again.<\/p>\n","protected":false},"author":1069,"featured_media":111744,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[1],"tags":[25],"class_list":["post-104239","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-oldnewthing","tag-code"],"acf":[],"blog_post_summary":"
The confusing error message strikes again.<\/p>\n","_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/104239","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/users\/1069"}],"replies":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/comments?post=104239"}],"version-history":[{"count":0,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/104239\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/media\/111744"}],"wp:attachment":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/media?parent=104239"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/categories?post=104239"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/tags?post=104239"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}