VS 2015 fix

Author: chriskohlhoff

.appveyor.yml

@@ -102,6 +102,8 @@ matrix:
       USING_BOOST: 1
     - image: Visual Studio 2015
       MINGW: 1
+    - image: Visual Studio 2017
+      MINGW: 1
     - image: Visual Studio 2017
       SEPARATE_COMPILATION: 1
     - image: Visual Studio 2017

include/asio/inline_or_executor.hpp

@@ -231,7 +231,7 @@ class inline_or_executor
    */
   inline_or_executor<Executor, execution::blocking_t::possibly_t,
       InlineExceptionHandling>
-  require(execution::blocking_t::possibly_t) const noexcept
+  require(const execution::blocking_t::possibly_t&) const noexcept
   {
     return inline_or_executor<Executor, execution::blocking_t::possibly_t,
         InlineExceptionHandling>(executor_);
@@ -249,7 +249,7 @@ class inline_or_executor
    */
   inline_or_executor<Executor, execution::blocking_t::always_t,
       InlineExceptionHandling>
-  require(execution::blocking_t::always_t) const noexcept
+  require(const execution::blocking_t::always_t&) const noexcept
   {
     return inline_or_executor<Executor, execution::blocking_t::always_t,
         InlineExceptionHandling>(executor_);
@@ -265,16 +265,9 @@ class inline_or_executor
    * auto ex2 = asio::require(ex1,
    *     asio::execution::blocking.never); @endcode
    */
-  template <typename Property>
   inline_or_executor<Executor, execution::blocking_t::never_t,
       InlineExceptionHandling>
-  require(const Property&,
-      constraint_t<
-        is_same<Property, execution::blocking_t::never_t>::value
-      > = 0,
-      constraint_t<
-        can_require<const Executor&, Property>::value
-      > = 0) const noexcept
+  require(const execution::blocking_t::never_t&) const noexcept
   {
     return inline_or_executor<Executor, execution::blocking_t::never_t,
         InlineExceptionHandling>(executor_);
@@ -293,7 +286,8 @@ class inline_or_executor
    */
   inline_or_executor<Executor, Blocking,
       execution::inline_exception_handling_t::propagate_t>
-  require(execution::inline_exception_handling_t::propagate_t) const noexcept
+  require(const execution::inline_exception_handling_t::propagate_t&)
+    const noexcept
   {
     return inline_or_executor<Executor, Blocking,
         execution::inline_exception_handling_t::propagate_t>(executor_);
@@ -311,8 +305,9 @@ class inline_or_executor
    *     asio::execution::inline_exception_handling.terminate); @endcode
    */
   inline_or_executor<Executor, Blocking,
-      execution::inline_exception_handling_t::propagate_t>
-  require(execution::inline_exception_handling_t::terminate_t) const noexcept
+      execution::inline_exception_handling_t::terminate_t>
+  require(const execution::inline_exception_handling_t::terminate_t&)
+    const noexcept
   {
     return inline_or_executor<Executor, Blocking,
         execution::inline_exception_handling_t::terminate_t>(executor_);
@@ -702,9 +697,9 @@ struct query_member<
 #if !defined(ASIO_HAS_DEDUCED_REQUIRE_MEMBER_TRAIT)
 
 template <typename Executor, typename Blocking,
-    typename InlineExceptionHandling, typename Property>
+    typename InlineExceptionHandling>
 struct require_member<
-    inline_or_executor<Executor, Blocking, InlineExceptionHandling>, Property,
+    inline_or_executor<Executor, Blocking, InlineExceptionHandling>,
     execution::blocking_t::possibly_t
   >
 {
@@ -715,9 +710,9 @@ struct require_member<
 };
 
 template <typename Executor, typename Blocking,
-    typename InlineExceptionHandling, typename Property>
+    typename InlineExceptionHandling>
 struct require_member<
-    inline_or_executor<Executor, Blocking, InlineExceptionHandling>, Property,
+    inline_or_executor<Executor, Blocking, InlineExceptionHandling>,
     execution::blocking_t::always_t
   >
 {
@@ -728,9 +723,9 @@ struct require_member<
 };
 
 template <typename Executor, typename Blocking,
-    typename InlineExceptionHandling, typename Property>
+    typename InlineExceptionHandling>
 struct require_member<
-    inline_or_executor<Executor, Blocking, InlineExceptionHandling>, Property,
+    inline_or_executor<Executor, Blocking, InlineExceptionHandling>,
     execution::blocking_t::never_t
   >
 {
@@ -741,9 +736,9 @@ struct require_member<
 };
 
 template <typename Executor, typename Blocking,
-    typename InlineExceptionHandling, typename Property>
+    typename InlineExceptionHandling>
 struct require_member<
-    inline_or_executor<Executor, Blocking, InlineExceptionHandling>, Property,
+    inline_or_executor<Executor, Blocking, InlineExceptionHandling>,
     execution::inline_exception_handling_t::propagate_t
   >
 {
@@ -754,9 +749,9 @@ struct require_member<
 };
 
 template <typename Executor, typename Blocking,
-    typename InlineExceptionHandling, typename Property>
+    typename InlineExceptionHandling>
 struct require_member<
-    inline_or_executor<Executor, Blocking, InlineExceptionHandling>, Property,
+    inline_or_executor<Executor, Blocking, InlineExceptionHandling>,
     execution::inline_exception_handling_t::terminate_t
   >
 {
@@ -781,9 +776,10 @@ struct require_member<
 {
   static constexpr bool is_valid = true;
   static constexpr bool is_noexcept =
-    is_nothrow_require<Executor, Property>::value;
-  typedef inline_or_executor<decay_t<require_result_t<Executor, Property>>,
-      Blocking, InlineExceptionHandling> result_type;
+    is_nothrow_require<const Executor&, Property>::value;
+  typedef inline_or_executor<
+      decay_t<require_result_t<const Executor&, Property>>,
+        Blocking, InlineExceptionHandling> result_type;
 };
 
 #endif // !defined(ASIO_HAS_DEDUCED_REQUIRE_MEMBER_TRAIT)
@@ -802,9 +798,10 @@ struct prefer_member<
 {
   static constexpr bool is_valid = true;
   static constexpr bool is_noexcept =
-    is_nothrow_prefer<Executor, Property>::value;
-  typedef inline_or_executor<decay_t<prefer_result_t<Executor, Property>>,
-      Blocking, InlineExceptionHandling> result_type;
+    is_nothrow_prefer<const Executor&, Property>::value;
+  typedef inline_or_executor<
+      decay_t<prefer_result_t<const Executor&, Property>>,
+        Blocking, InlineExceptionHandling> result_type;
 };
 
 #endif // !defined(ASIO_HAS_DEDUCED_PREFER_MEMBER_TRAIT)

src/Makefile.mgw

@@ -223,13 +223,17 @@ CPP11_EXAMPLE_EXES = \
 	examples/cpp11/tutorial/daytime7/server.exe \
 	examples/cpp11/windows/transmit_file.exe
 
-ifdef STANDALONE
+
 all: \
+	tests/unit/inline_or_executor.exe
+
+ifdef STANDALONE
+xall: \
 	$(SEPARATE_COMPILATION_LIB) \
 	$(EXAMPLE_EXES) \
 	$(UNIT_TEST_EXES)
 else
-all: \
+xall: \
 	$(SEPARATE_COMPILATION_LIB) \
 	$(PERFORMANCE_TEST_EXES) \
 	$(EXAMPLE_EXES) \
@@ -242,7 +246,7 @@ libasio.a: asio.o
 	ar ru libasio.a asio.o
 endif
 
-check: $(UNIT_TEST_EXES) $(addprefix run.,$(UNIT_TEST_EXES))
+check:
 
 $(addprefix run.,$(UNIT_TEST_EXES))::
 	@echo === Running $(@:run.%=%) ===

src/Makefile.msc

@@ -349,12 +349,15 @@ asio.lib: asio.cpp
 	lib -name:asio.lib asio.obj
 !endif
 
-!ifdef STANDALONE
 all: \
+	tests\unit\inline_or_executor.exe
+
+!ifdef STANDALONE
+xall: \
 	$(CPP11_EXAMPLE_EXES) \
 	$(UNIT_TEST_EXES)
 !else
-all: \
+xall: \
 	$(LATENCY_TEST_EXES) \
 	$(PERFORMANCE_TEST_EXES) \
 	$(CPP11_EXAMPLE_EXES) \