Merge branch 'develop' into feature/wstring
This commit is contained in:
		
						commit
						fa3e42f826
					
				
					 12 changed files with 35 additions and 394 deletions
				
			
		| 
						 | 
				
			
			@ -3405,7 +3405,7 @@ class basic_json
 | 
			
		|||
    @return copy of the element at key @a key or @a default_value if @a key
 | 
			
		||||
    is not found
 | 
			
		||||
 | 
			
		||||
    @throw type_error.306 if the JSON value is not an objec; in that case,
 | 
			
		||||
    @throw type_error.306 if the JSON value is not an object; in that case,
 | 
			
		||||
    using `value()` with a key makes no sense.
 | 
			
		||||
 | 
			
		||||
    @complexity Logarithmic in the size of the container.
 | 
			
		||||
| 
						 | 
				
			
			
 | 
			
		|||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue