C++ modules conformance (#495)

Author: kennykerr

cppwinrt/cppwinrt.vcxproj

@@ -52,14 +52,12 @@
     <ClInclude Include="..\strings\base_collections_vector.h" />
     <ClInclude Include="..\strings\base_composable.h" />
     <ClInclude Include="..\strings\base_com_ptr.h" />
-    <ClInclude Include="..\strings\base_coroutine.h" />
     <ClInclude Include="..\strings\base_coroutine_foundation.h" />
     <ClInclude Include="..\strings\base_coroutine_system.h" />
     <ClInclude Include="..\strings\base_coroutine_threadpool.h" />
     <ClInclude Include="..\strings\base_coroutine_ui_core.h" />
     <ClInclude Include="..\strings\base_deferral.h" />
     <ClInclude Include="..\strings\base_delegate.h" />
-    <ClInclude Include="..\strings\base_dependencies.h" />
     <ClInclude Include="..\strings\base_error.h" />
     <ClInclude Include="..\strings\base_events.h" />
     <ClInclude Include="..\strings\base_extern.h" />
@@ -68,6 +66,7 @@
     <ClInclude Include="..\strings\base_handle.h" />
     <ClInclude Include="..\strings\base_identity.h" />
     <ClInclude Include="..\strings\base_implements.h" />
+    <ClInclude Include="..\strings\base_includes.h" />
     <ClInclude Include="..\strings\base_lock.h" />
     <ClInclude Include="..\strings\base_macros.h" />
     <ClInclude Include="..\strings\base_marshaler.h" />

cppwinrt/cppwinrt.vcxproj.filters

@@ -76,9 +76,6 @@
     <ClInclude Include="..\strings\base_delegate.h">
       <Filter>strings</Filter>
     </ClInclude>
-    <ClInclude Include="..\strings\base_dependencies.h">
-      <Filter>strings</Filter>
-    </ClInclude>
     <ClInclude Include="..\strings\base_error.h">
       <Filter>strings</Filter>
     </ClInclude>
@@ -151,15 +148,15 @@
     <ClInclude Include="..\strings\base_fast_forward.h">
       <Filter>strings</Filter>
     </ClInclude>
-    <ClInclude Include="..\strings\base_coroutine.h">
-      <Filter>strings</Filter>
-    </ClInclude>
     <ClInclude Include="..\strings\base_deferral.h">
       <Filter>strings</Filter>
     </ClInclude>
     <ClInclude Include="cmd_reader.h" />
     <ClInclude Include="task_group.h" />
     <ClInclude Include="text_writer.h" />
+    <ClInclude Include="..\strings\base_includes.h">
+      <Filter>strings</Filter>
+    </ClInclude>
   </ItemGroup>
   <ItemGroup>
     <ResourceCompile Include="$(OutDir)version.rc" />

cppwinrt/file_writers.h

@@ -8,8 +8,7 @@ namespace cppwinrt
         write_preamble(w);
         write_open_file_guard(w, "BASE");
 
-        w.write(strings::base_dependencies);
-        w.write(strings::base_coroutine);
+        w.write(strings::base_includes);
         w.write(strings::base_macros);
         w.write(strings::base_types);
         w.write(strings::base_extern);

cppwinrt/main.cpp

@@ -289,16 +289,23 @@ Where <spec> is one or more of:
 
             w.flush_to_console();
             task_group group;
+            writer ixx;
+            write_preamble(ixx);
+            ixx.write("module;\n");
+            ixx.write(strings::base_includes);
+            ixx.write("\nexport module winrt;\n#define WINRT_EXPORT export\n\n");
 
             for (auto&&[ns, members] : c.namespaces())
             {
-                group.add([&, &ns = ns, &members = members]
+                if (!has_projected_types(members) || !settings.projection_filter.includes(members))
                 {
-                    if (!has_projected_types(members) || !settings.projection_filter.includes(members))
-                    {
-                        return;
-                    }
+                    continue;
+                }
+
+                ixx.write("#include \"winrt/%.h\"\n", ns);
 
+                group.add([&, &ns = ns, &members = members]
+                {
                     write_namespace_0_h(ns, members);
                     write_namespace_1_h(ns, members);
                     write_namespace_2_h(ns, members);
@@ -309,6 +316,7 @@ Where <spec> is one or more of:
             if (settings.base)
             {
                 write_base_h();
+                ixx.flush_to_file(settings.output_folder + "winrt/winrt.ixx");
             }
 
             if (settings.component)

strings/base_coroutine_foundation.h

@@ -527,7 +527,7 @@ namespace winrt::impl
     };
 }
 
-namespace std::experimental
+WINRT_EXPORT namespace std::experimental
 {
     template <typename... Args>
     struct coroutine_traits<winrt::Windows::Foundation::IAsyncAction, Args...>

strings/base_dependencies.h

@@ -1,4 +1,27 @@
 
+#include <algorithm>
+#include <array>
+#include <atomic>
+#include <charconv>
+#include <chrono>
+#include <cstddef>
+#include <map>
+#include <memory>
+#include <optional>
+#include <stdexcept>
+#include <string_view>
+#include <string>
+#include <tuple>
+#include <type_traits>
+#include <unordered_map>
+#include <utility>
+#include <vector>
+
+#if __has_include(<WindowsNumerics.impl.h>)
+#define WINRT_IMPL_NUMERICS
+#include <directxmath.h>
+#endif
+
 #ifndef __clang__
 
 #include <experimental/coroutine>

strings/base_coroutine.h strings/base_includes.hstrings/base_coroutine.h renamed to strings/base_includes.h

@@ -30,3 +30,17 @@
 #if defined(_RESUMABLE_FUNCTIONS_SUPPORTED) && !defined(__cpp_coroutines)
 #define __cpp_coroutines
 #endif
+
+#ifndef WINRT_EXPORT
+#define WINRT_EXPORT
+#endif
+
+#ifdef WINRT_IMPL_NUMERICS
+#define _WINDOWS_NUMERICS_NAMESPACE_ winrt::Windows::Foundation::Numerics
+#define _WINDOWS_NUMERICS_BEGIN_NAMESPACE_ WINRT_EXPORT namespace winrt::Windows::Foundation::Numerics
+#define _WINDOWS_NUMERICS_END_NAMESPACE_
+#include <WindowsNumerics.impl.h>
+#undef _WINDOWS_NUMERICS_NAMESPACE_
+#undef _WINDOWS_NUMERICS_BEGIN_NAMESPACE_
+#undef _WINDOWS_NUMERICS_END_NAMESPACE_
+#endif